.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
Almeida, José Bacelar, Frade, Maria João, Pinto, Jorge Sousa, Melo de Sousa, Simão
€ 50.33
FREE Delivery in Ireland
Description for Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
Paperback. This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. It focuses on two approaches: the Coq proof assistant and the B suite. Series: Undergraduate Topics in Computer Science. Num Pages: 320 pages, 52 black & white illustrations, biography. BIC Classification: UMZT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 420.
The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies mathematical methods for checking that a program conforms to its specification. This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. The idea of specifying the behaviour of individual software components by attaching contracts to them is now a widely followed ... Read more
The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software. Program Verification is the area of computer science that studies mathematical methods for checking that a program conforms to its specification. This text is a self-contained introduction to program verification using logic-based methods, presented in the broader context of formal methods for software engineering. The idea of specifying the behaviour of individual software components by attaching contracts to them is now a widely followed ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer
Condition
New
Series
Undergraduate Topics in Computer Science
Number of Pages
307
Place of Publication
England, United Kingdom
ISBN
9780857290175
SKU
V9780857290175
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
About Almeida, José Bacelar, Frade, Maria João, Pinto, Jorge Sousa, Melo de Sousa, Simão
José Bacelar Almeida is a lecturer at the University of Minho, Portugal. He graduated in Electrical and Computer Engineering and received his PhD in Computer Science from the University of Minho. His areas of interest include semantics of programming languages, proof assistants, and security. Maria João Frade obtained her PhD in Computer Science from the University of Minho, Portugal, and ... Read more
Reviews for Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
From the reviews: “Provide a refreshing approach to a textbook on formal testing and verification methods. … intended for undergraduate students and will be useful to practitioners as well. The authors lay out the topics in incremental fashion … present enough information to foster a good understanding of the theoretical framework supporting formal methods … . The exercises are ... Read more