Model checking
by Edmund M. Clarke Jr.377 pages · English
As an Amazon Associate I earn from qualifying purchases.
Amazon opens a search, not a verified edition. Check format, price and availability there.
Book details
ArtTechnology
Catalogue length: 377 pages. Length can vary by edition.
Catalogue: Open Library OL19888559W; genres from Open Library subjects; summary generated from catalogue fields · Cover: Open Library Covers (display via covers.openlibrary.org; publisher artwork)