Image from OpenLibrary

Rigorous software development; An introduction to program verification / José Bacelar Almeida et.,al.

By: Contributor(s): Material type: TextTextPublication details: New York (State) : Springer, 2011Description: xii,263 p. : il. ; 16 x 24 cmISBN:
  • 978-0-85729-017-5 (pasta rústica)
Subject(s): DDC classification:
  • 005.14 R572r 2011
Contents:
Introduction. --An overview of formal methods tools and techniques. --Propositional logic. --First-order logic. --Hoare Logic. --Generating verification conditions. --Safety properties. --procedures and contracts. --Specifying C programs. --Verifying C programs.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode
Libro Libro Unicomfacauca Acervo general de Libros Available T04906

Incluye índice.

Introduction. --An overview of formal methods tools and techniques. --Propositional logic. --First-order logic. --Hoare Logic. --Generating verification conditions. --Safety properties. --procedures and contracts. --Specifying C programs. --Verifying C programs.

There are no comments on this title.

to post a comment.