Filter By
Books (2)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Rigorous Software Development: An Introduction to Program Verification by Jose Bacelar Almeida 9780857290175
Booksplease Price: €34.25The 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... -
Rigorous Software Development: An Introduction to Program Verification José Bacelar Almeida 9781447175575
RRP: €118.99Booksplease Price: €66.78Software 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...