Rigorous Software Development: An Introduction to Program Verification - Undergraduate Topics in Computer Science - Jose Bacelar Almeida - Books - Springer London Ltd - 9781447175575 - July 26, 2026
In case cover and title do not match, the title is correct

Jose Bacelar Almeida
Rigorous Software Development: An Introduction to Program Verification - Undergraduate Topics in Computer Science Second Edition 2026 edition

Price
$ 116.49
excl. VAT
Expected delivery Aug 3 - 6, 2026

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

This revised and expanded second edition incorporates recent advances in formal methods and program verification, integrating new techniques, tools, and exercises to equip readers with the skills necessary for rigorous software development.

Media Books     Paperback Book   (Book with soft cover and glued back)
To be released July 26, 2026
ISBN13 9781447175575
Publishers Springer London Ltd
Pages 290
Dimensions 150 × 220 × 10 mm   ·   581 g   (Weight (estimated))

See all of Jose Bacelar Almeida ( e.g. Book and Paperback Book )