Rigorous software development :  an introduction to program verification / 
Josâe Bacelar Almeida ... [et al.] 
 - London :  Springer,  2011 
 - xii, 263 p. :  ill. ;  24 cm. 
 - Undergraduate topics in computer science,  1863-7310 .
 - Undergraduate topics in computer science, .
<br/><br/>Includes bibliographical references and index 
<br/><br/>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 
<br/><br/> Undergraduate Topics in Computer Science (UTiCS) delivers high-quality instructional content for undergraduates studying in all areas of computing and information science. From core foundational and theoretical material to final-year topics and applications, UTiCS books take a fresh, concise, and modern approach and are ideal for self-study or for a one- or two-semester course. The texts are all authored by established experts in their fields, reviewed by an international advisory board, and contain numerous examples and problems. Many include fully worked solutions 
<br/><br/><label>ISBN: </label>9780857290175 0857290177 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development<br/>Computer software--Verification