01640nam a2200229 a 4500001001400000003000700014005001700021008004100038020001800079020001500097040000800112245011700120260003000237300003400267490005700301504005000358505029700408520057700705650003501282650003601317830005701353vtls000054898KUKTEM20251117150453.0110720t2011    enk    f      001 0 eng d  a9780857290175  a0857290177  aUMP00aRigorous software development :ban introduction to program verification /cJosâe Bacelar Almeida ... [et al.]  aLondon :bSpringer,c2011  axii, 263 p. :bill. ;c24 cm.1 aUndergraduate topics in computer science,x1863-7310  aIncludes bibliographical references and index0 a1. 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  aUndergraduate 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 0aComputer softwarexDevelopment 0aComputer softwarexVerification 0aUndergraduate topics in computer science,x1863-7310