Computer Aided Verification - 9781013271007
Saint Philip Street Press
ISBN13:
9781013271007
$61.31
(No reviews yet)
Write a Review
Saint Philip Street Press
Computer Aided Verification - 9781013271007
- | Author: Hana Chockler, Georg Weissenbacher
- | Publisher: Saint Philip Street Press
- | Publication Date: Oct 08, 2020
- | Number of Pages: 552 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 1013271009
- | ISBN-13: 9781013271007
- Author:
- Hana Chockler, Georg Weissenbacher
- Publisher:
- Saint Philip Street Press
- Publication Date:
- Oct 08, 2020
- Number of pages:
- 552 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 1013271009
- ISBN-13:
- 9781013271007
