Principles of Model Checking by Christel (Technische Universitat Dresden) Baier (Author)
Sale

Principles Of Model Checking

MIT Press Ltd
SKU:
9780262026499
|
UPC:
9780262026499
$80.23 $72.20
(No reviews yet)
Condition:
New
Current Stock:
Adding to cart… The item has been added
Description
Principles Of Model Checking


  • | By (Author): Christel (Technische Universitat Dresden) Baier
  • | Publisher: MIT Press Ltd
  • | Publication Date: Apr 25, 2008
  • | Country of Publication: United States
  • | Number of Pages: 984 pages
  • | Language: Not Available
  • | Binding: Hardback
  • | ISBN-10: 026202649X
  • | ISBN-13: 9780262026499
Additional Information
By (Author):
Christel (Technische Universitat Dresden) Baier
Publisher:
MIT Press Ltd
Publication Date:
Apr 25, 2008
Country of Publication:
United States
Number of pages:
984 pages
Binding:
Hardback
ISBN-10:
026202649X
ISBN-13:
9780262026499
Related Products