All Formats & Editions
The Foundations of Program Verification
The Foundations of Program Verification Second Edition JacquesLoeckx and Kurt Sieber Fachbereich informatik Universit't desSaariandes, Saarbr?cken, Germany In collaboration with Ryan D.Stansifer Department of Computer Science Cornell University, USAThis revised edition provides...
The foundations of program verification (Wiley-...
The Foundations of Program Verification Second Edition Jacques Loeckx and Kurt Sieber Fachbereich informatik UniversitSt des Saariandes, Saarbrncken, Germany In collaboration with Ryan D. Stansifer Department of Computer Science Cornell University, USA This revised edition provides...
![The Foundations of Program Verification [German] 3322967549 Book Cover](https://i.thriftbooks.com/api/imagehandler/l/ED34F2DEB0737512D13ADD97933F77DDD8A16D6A.jpeg)
The Foundations of Program Verification [German]
This is a textbook on program verification. It concentrates on those verification methods that have now become classic such as the inductive assertions method of Floyd, the axiomatic method of Hoare and Scott's fixpoint induction. The aim of the book is to present these different...
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
