Rigorous Software Development: An Introduction to Program Verification

By Jorge Sousa Pinto, José Bacelar Almeida, Maria João Frade, et al.

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1447175573
• ISBN13: 9781447175575
• Release Date: May 2026
• Publisher: Springer
• Length: 291 Pages
• Weight: 0.96 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"