Premium & Rewards Members Earn Double Stamps Shop Now Ends 7/5Premium & Rewards Members Earn Double Stamps Shop Now Ends 7/5
Add Item to wish listAdd Item to wish list
Read sample

Rigorous Software Development: An Introduction to Program Verification

By José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa
Paperback
$64.99
By José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa
Coin

Now through 9/7, Premium & Rewards Members Earn Double Stamps! 10 stamps = $5 reward.

Promotion message icon

Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.

Formats
See All Formats & Editions
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
Software errors can lead to catastrophic consequences, from financial losses to threats to human safety. As a result, rigorous methods for software development and validation have become increasingly critical. Program verification, a key area of formal methods, provides mathematical tools and techniques to ensure that software behaves as intended.

This book provides a comprehensive introduction to program verification, combining theoretical foundations with practical applications using rea...

Categories

ComputersComputer ProgrammingComputers - General & MiscellaneousSoftware EngineeringGeneral Software EngineeringLogic DesignGeneral & Miscellaneous ComputingSoftware Development * Programming