Computer Aided Verification - 9781013270994

Computer Aided Verification

Saint Philip Street Press
SKU:
9781013270994
|
ISBN13:
9781013270994
$78.78
(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
Description
  • | Author: Georg Weissenbacher, Hana Chockler
  • | Publisher: Saint Philip Street Press
  • | Publication Date: Oct 08, 2020
  • | Number of Pages: 708 pages
  • | Language: English
  • | Binding: Hardcover
  • | ISBN-10: 1013270991
  • | ISBN-13: 9781013270994
Additional Information
Author:
Georg Weissenbacher, Hana Chockler
Publisher:
Saint Philip Street Press
Publication Date:
Oct 08, 2020
Number of pages:
708 pages
Language:
English
Binding:
Hardcover
ISBN-10:
1013270991
ISBN-13:
9781013270994
Related Products