Rigorous Software Development: An Introduction to Program Verification - Undergraduate Topics in Computer Science - Jose Bacelar Almeida - Books - Springer London Ltd - 9781447175575 - January 24, 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 2025 edition

Price
Íkr 14,629
excl. VAT
Expected delivery Feb 2 - 5, 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 January 24, 2026
ISBN13 9781447175575
Publishers Springer London Ltd
Pages 290
Dimensions 150 × 220 × 10 mm   ·   581 g   (Weight (estimated))

More by Jose Bacelar Almeida

Show all

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