Rigorous Software Development: An Introduction to Program Verification by Jos? B
53,88 €
A foundation for the static verification of programs based on contract-annotated routines is laid out in the book. intended for undergraduate students and will be useful to practitioners as well.
Jetzt bei Ebay:
