Model Checking - 9780262038836
Sale

Model Checking - 9780262038836

MIT Press Ltd
SKU:
9780262038836
|
UPC:
9780262038836
£65.00 £58.98
(No reviews yet)
Condition:
New
Current Stock:
Adding to cart… The item has been added
Description
Model Checking


  • | By (Author): Edmund M. Clarke (Carnegie Mellon University) Jr.
  • | Publisher: MIT Press Ltd
  • | Publication Date: Dec 04, 2018
  • | Country of Publication: United States
  • | Number of Pages: 424 pages
  • | Language: Unknown
  • | Binding: Hardback
  • | ISBN-10: 0262038838
  • | ISBN-13: 9780262038836
Additional Information
By (Author):
Edmund M. Clarke (Carnegie Mellon University) Jr.
Publisher:
MIT Press Ltd
Publication Date:
Dec 04, 2018
Country of Publication:
United States
Language:
Unknown
Number of pages:
424 pages
Binding:
Hardback
ISBN-10:
0262038838
ISBN-13:
9780262038836
Related Products