Normal view MARC view ISBD view

Model checking /

Clarke, Edmund M., Jr. 1945-

Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. - Third printing. - xiv, 314 pages : illustrations ; 24 cm

Includes bibliographical references and index.

ISBN: 0262032708 9780262032704

Subjects--Topical Terms:
Computer systems--Verification.

Subjects--Index Terms:

Index Terms--Genre/Form: --Reading book

Dewey Class. No.: 004.21 / CLA

Print
Cite
Add to your cart (remove)
Send to device
Save record
Dublin Core MARCXML RIS MARC (Unicode/UTF-8)
More searches

Search for this title in:
Other Libraries (WorldCat) Southern NH Libraries Other Databases (Google Scholar) Online Stores (Bookfinder.com)