Wow! eBook![[ [ [ Rigorous Software Development: An Introduction to Program Verification (Edition.)[ RIGOROUS SOFTWARE DEVELOPMENT: AN INTRODUCTION TO PROGRAM VERIFICATION (EDITION.) ] By Almeida, Jose Bacelar ( Author )Jan-11-2011 Paperback book cover](https://m.media-amazon.com/images/I/41TpoH3mGwL._SX342_SY445_ML2_.jpg "[ [ [ Rigorous Software Development: An Introduction to Program Verification (Edition.)[ RIGOROUS SOFTWARE DEVELOPMENT: AN INTRODUCTION TO PROGRAM VERIFICATION (EDITION.) ] By Almeida, Jose Bacelar ( Author )Jan-11-2011 Paperback")
[ [ [ Rigorous Software Development: An Introduction to Program Verification (Edition.)[ RIGOROUS SOFTWARE DEVELOPMENT: AN INTRODUCTION TO PROGRAM VERIFICATION (EDITION.) ] By Almeida, Jose Bacelar ( Author )Jan-11-2011 Paperback
- ISBN-10: B00DFEKF9E
