Sale
Model Checking - 9780262038836
MIT Press Ltd
$113.27
$102.78
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
- 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