Mathematical Theory of Program Correctness
Download or Read eBook Mathematical Theory of Program Correctness PDF written by Jacobus Willem Bakker and published by Prentice Hall. This book was released on 1980 with total page 536 pages. Available in PDF, EPUB and Kindle.
| Author | : Jacobus Willem Bakker |
| Publisher | : Prentice Hall |
| Total Pages | : 536 |
| Release | : 1980 |
| ISBN-10 | : STANFORD:36105032628450 |
| ISBN-13 | : |
| Rating | : 4/5 (50 Downloads) |
Book Synopsis Mathematical Theory of Program Correctness by : Jacobus Willem Bakker
Book excerpt: "The third novel in Terry Pratchett and Stephen Baxter's "Long Earth" series, which Io9 calls "a brilliant science fiction collaboration.""--
