TY  - BOOK
TI  - Rigorous software development: an introduction to program verification 
T2  - Undergraduate topics in computer science,
SN  - 9780857290175
PY  - 2011///
CY  - London
PB  - Springer
KW  - Computer software
KW  - Development
KW  - Verification
N1  - 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
N2  - 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
ER  -