![Computer Aided Verification - 9781013270994 Computer Aided Verification - 9781013270994](https://cdn11.bigcommerce.com/s-gibnfyxosi/images/stencil/300x300/products/760845/791674/9781013270994__51522.1638529219.jpg?c=1)
Computer Aided Verification - 9781013271151
Saint Philip Street Press
ISBN13:
9781013271151
$72.23
- | Author: Serdar Tasiran, Isil Dillig
- | Publisher: Saint Philip Street Press
- | Publication Date: Oct 08, 2020
- | Number of Pages: 556 pages
- | Language: English
- | Binding: Hardcover
- | ISBN-10: 1013271157
- | ISBN-13: 9781013271151
- Author:
- Serdar Tasiran, Isil Dillig
- Publisher:
- Saint Philip Street Press
- Publication Date:
- Oct 08, 2020
- Number of pages:
- 556 pages
- Language:
- English
- Binding:
- Hardcover
- ISBN-10:
- 1013271157
- ISBN-13:
- 9781013271151