Rigorous software development : an introduction to program verification / José Bacelar Almeida ... [et al.].
Material type:
TextSeries: Undergraduate topics in computer sciencePublication details: London : Springer, c2011.Description: xii, 263 p. ; 23 cmISBN: - 9780857290175 (pbk.)
- 0857290177 (pbk.)
- 005.14 22
- QA76.76.V47 R54 2011
| Item type | Current library | Home library | Shelving location | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|---|---|
Books
|
Main Campus Library | University of Eastern Africa, Baraton | Main Stack | QA 76.76 .V47 R54 2011 c.1 (Browse shelf(Opens below)) | 1 | Available | 80235 | |
|
Books
|
Main Campus Library | University of Eastern Africa, Baraton | Main Stack | QA 76.76 .V47 R54 2011 c.2 (Browse shelf(Opens below)) | 2 | Available | 80236 |
Browsing University of Eastern Africa, Baraton shelves, Shelving location: Main Stack Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| QA 76.76 .T48 H88 2003 c1 Software testing fundamentals : | QA 76.76 .T48 H88 2003 c2 Software testing fundamentals : | QA 76.76 .V47 R54 2011 c.1 Rigorous software development : an introduction to program verification / | QA 76.76 .V47 R54 2011 c.2 Rigorous software development : an introduction to program verification / | QA 76.76 .W35 G63 2006 Software quality assurance : principles and practice | QA 76.76 .W56 R662 1994 c.1 Understanding and using microsoft Windows 301 / | QA 76.76 .W56 R662 1994 c.1 Understanding and using microsoft Windows 301 / |
Includes bibliographical references and index.
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.