An edition of Model checking (1999)

Model Checking

by , , and

  • 3 Want to read
  • 1 Currently reading
Model Checking
Edmund M. Clarke Jr., Orna Gru ...
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 3 Want to read
  • 1 Currently reading
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
August 30, 2020 | History
Edit
An edition of Model checking (1999)

Model Checking

by , , and

  • 3 Want to read
  • 1 Currently reading

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
MIT Press
Language
English
Pages
330

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Datenverarbeitungssystem, Computersystemen, Engenharia de software, Modellen, Verificação e validação de software, Vérification, Model Checking, Verification, Logiciels, Computer systems, Verificatie, Operating systems (computers), Computer software, verification, COMPUTERS, Software Development & Engineering, Systems Analysis & Design, Modellen (theorie), Engineering & Applied Sciences, Computer Science, Sat (educational test), Models and modelmaking

Showing 5 featured editions. View all 5 editions?

Edition Availability
Cover of: Model Checking
Model Checking
2018, MIT Press
in English
Libraries near you: WorldCat
Cover of: Model Checking
Model Checking
Dec 04, 2018, The MIT Press
hardcover
Libraries near you: WorldCat
Cover of: Model Checking
Model Checking
1999, MIT Press
in English
  • Not in Library
Libraries near you: WorldCat
Cover of: Model Checking
Model Checking
1999, MIT Press
in English
Libraries near you: WorldCat
Cover of: Model Checking
Model Checking
January 7, 1999, The MIT Press
Hardcover in English
Libraries near you: WorldCat

Add another edition?

Book Details

Classifications

Library of Congress

ID Numbers

Open Library
OL29709655M
ISBN 13
9780262270458

Source records

Better World Books record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
August 30, 2020 Created by ImportBot Imported from Better World Books record