01875nam a2200277 a 4500 vtls000054898 KUKTEM 20251117150453.0 110720t2011 enk f 001 0 eng d 9780857290175 0857290177 201202151123 asmadi 201107201027 sri UMP QA76.76.V47 R54 2011 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 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 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 Computer software Development Computer software Verification Undergraduate topics in computer science, 1863-7310 0 0 0 0 20000 20000 2019-09-04 146.25 0 QA76.76.V47 R54 2011 0000061810 2019-09-04 00:00:00 1 146.25 2019-09-04 OPEN VIRTUA40 58992 58998 VTLSSORT0080*0200*0201*0400*0900*2450*2600*4900*3000*5040*5050*5200*6500*6501*8300*9991