The Foundations of Program Verification
| Author | : Kurt Sieber |
| Publisher | : Springer-Verlag |
| Total Pages | : 236 |
| Release | : 2013-07-02 |
| ISBN-10 | : 9783322967534 |
| ISBN-13 | : 3322967530 |
| Rating | : 4/5 (34 Downloads) |
Book Synopsis The Foundations of Program Verification by : Kurt Sieber
Download or read book The Foundations of Program Verification written by Kurt Sieber and published by Springer-Verlag. This book was released on 2013-07-02 with total page 236 pages. Available in PDF, EPUB and Kindle. Book excerpt:
