Rigorous Software Development An Introduction to Program Verification
by Simão Melo de Sousa, José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto
4 / 10 5 ratings
- Language
- English
- Published
- 2025
- Publisher
- Springer London, Limited
- Pages
- 342
- ISBN
- 9781447175575
Subjects
Original edition
Rigorous Software Development An Introduction to Program VerificationOriginally published in 2011 English Springer London, Limited
Other editions (2)
No reviews yet. Be the first.