Computer Aided Verification - 9781013271175

Saint Philip Street Press
SKU:
9781013271175
|
ISBN13:
9781013271175
$76.60
(No reviews yet)
Condition:
New
Usually Ships in 24hrs
Current Stock:
Estimated Delivery by: | Fastest delivery by:
Adding to cart… The item has been added
Buy ebook
  • | Author: Serdar Tasiran, Isil Dillig
  • | Publisher: Saint Philip Street Press
  • | Publication Date: Oct 08, 2020
  • | Number of Pages: 678 pages
  • | Language: English
  • | Binding: Hardcover
  • | ISBN-10: 1013271173
  • | ISBN-13: 9781013271175
Author:
Serdar Tasiran, Isil Dillig
Publisher:
Saint Philip Street Press
Publication Date:
Oct 08, 2020
Number of pages:
678 pages
Language:
English
Binding:
Hardcover
ISBN-10:
1013271173
ISBN-13:
9781013271175