Computer Aided Verification
Computer Aided Verification PDF book is popular Computers book written by Isil Dillig. The book was released by Springer on 2019-07-12 with total hardcover pages 680. Fast download link is given in this page, you could read Computer Aided Verification by Isil Dillig in PDF, epub and kindle directly from your devices.
Computer Aided Verification
-
Computer Aided Verification Book Detail
- Author : Isil Dillig
- Release Date : 2019-07-12
- Publisher : Springer
- Genre : Computers
- Pages : 680
- ISBN 13 : 3030255409
- File Size : 22,22 MB