Construvtive Logics for Program Correctness and Verification(Revised Edition)
| 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 : 伊藤貴康
Download or read book Construvtive Logics for Program Correctness and Verification(Revised Edition) written by 伊藤貴康 and published by 株式会社 三恵社. This book was released on 2011-04 with total page 176 pages. Available in PDF, EPUB and Kindle. Book excerpt:
