The Theory and Practice of Formal Verification of Software
Download or Read eBook The Theory and Practice of Formal Verification of Software PDF written by Shlomo Tzvi Engelberg and published by . This book was released on 1990 with total page 362 pages. Available in PDF, EPUB and Kindle.
Author | : Shlomo Tzvi Engelberg |
Publisher | : |
Total Pages | : 362 |
Release | : 1990 |
ISBN-10 | : OCLC:24801592 |
ISBN-13 | : |
Rating | : 4/5 (92 Downloads) |
Book Synopsis The Theory and Practice of Formal Verification of Software by : Shlomo Tzvi Engelberg
Book excerpt: