Scan barcode
Edmund M. Clarke
2 books
424 pages • missing pub info (editions)
ISBN/UID: 9780262038836
Format: Hardcover
Language: English
Publisher: MIT Press
Publication date: 04 December 2018
424 pages • missing pub info (editions)
ISBN/UID: 9780262038836
Format: Hardcover
Language: English
Publisher: MIT Press
Publication date: 04 December 2018
314 pages • first pub 1999 (editions)
ISBN/UID: 9780262032704
Format: Hardcover
Language: English
Publisher: MIT Press
Publication date: 20 December 1999
314 pages • first pub 1999 (editions)
ISBN/UID: 9780262032704
Format: Hardcover
Language: English
Publisher: MIT Press
Publication date: 20 December 1999