Tell your friends about this item:
Computer Aided Verification
Hana Chockler
Price
Kč 1,776
Ordered from remote warehouse
Expected delivery Nov 27 - Dec 10
Our customers say:
Add to your iMusic wish list
Also available as:
Computer Aided Verification
Hana Chockler
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | October 8, 2020 |
| ISBN13 | 9781013271014 |
| Publishers | Saint Philip Street Press |
| Pages | 554 |
| Dimensions | 1.56 kg |
![Cover for Hana Chockler · Validation of Evolving Software (Hardcover Book) [2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/229/9783319106229.jpg?hana-chockler-2015-validation-of-evolving-software-hardcover-book&class=scaled&v=1605794024)
![Cover for Hana Chockler · Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers - Programming and Software Engineering (Paperback Book) [2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/018/9783642017018.jpg?hana-chockler-2009-hardware-and-software-verification-and-testing-4th-international-haifa-verification-conference-hvc-2008-haifa-israel-october-27-30-2008-revised-selected-papers-programming-and-software-engineering-paperback-book&class=scaled&v=1425148887)