Construvtive Logics for Program Correctness and Verification(Revised Edition)
Download or Read eBook Construvtive Logics for Program Correctness and Verification(Revised Edition) PDF written by 伊藤貴康 and published by 株式会社 三恵社. This book was released on 2011-04 with total page 176 pages. Available in PDF, EPUB and Kindle.
| Author | : 伊藤貴康 |
| Publisher | : 株式会社 三恵社 |
| Total Pages | : 176 |
| Release | : 2011-04 |
| ISBN-10 | : 4883618587 |
| ISBN-13 | : 9784883618583 |
| Rating | : 4/5 (87 Downloads) |
Book Synopsis Construvtive Logics for Program Correctness and Verification(Revised Edition) by : 伊藤貴康
Book excerpt:
