Automatic Verification of Behavioral Specifications in Software Intensive Systems
Download or Read eBook Automatic Verification of Behavioral Specifications in Software Intensive Systems PDF written by Andrei Soeanu Caval and published by . This book was released on 2007 with total page pages. Available in PDF, EPUB and Kindle.
Author | : Andrei Soeanu Caval |
Publisher | : |
Total Pages | : |
Release | : 2007 |
ISBN-10 | : OCLC:1032912447 |
ISBN-13 | : |
Rating | : 4/5 (47 Downloads) |
Book Synopsis Automatic Verification of Behavioral Specifications in Software Intensive Systems by : Andrei Soeanu Caval
Book excerpt: