Library of American University of Madaba
Your cart is empty.
Rigorous software development an Introduction to program verification /
Authors: Almeida, Josae Bacelar.%joint author Series: Undergraduate topics in computer science. 1863-7310 Published by : Springer, (London :) Physical details: xii, 263 p. : ill. 24 cm. ISBN: 0857290177 Subject(s): Computer software %Development. Year: 2011Online Resources:
Tags from this library:
No tags from this library for this title.
| Item type | Location | Call Number | Status | Notes | Date Due |
|---|---|---|---|---|---|
 Book |
AUM Main Library English Collections Hall | 005.1 R572 (Browse Shelf) | Available | JBC/2011/9089 |
Includes bibliographical references and index.
1. Introduction -- 2. An overview of formal methods tools and techniques -- 3. Propositional logic -- 4. First-order logic -- 5. Hoare logic -- 6. Generating verification conditions -- 7. Safety properties -- 8. Procedures and contracts -- 9. Specifying C programs -- 10. Verifying C programs.
There are no comments for this item.