An edition of Model checking (1999)

Model Checking

by Edmund M. Clarke Jr., Orna Grumberg, and Doron A. Peled

Model Checking

Edmund M. Clarke Jr., Orna Gru ...

Locate

My Reading Lists:

Use this Work

Check nearby libraries

Buy this book

Last edited by ImportBot

August 30, 2020 | History

Edit

An edition of Model checking (1999)

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

Publish Date

1999

Publisher

MIT Press

Language

English

Pages

330

Check nearby libraries

Buy this book

Previews available in: English

Edition	Availability
1 Model Checking Dec 04, 2018, The MIT Press hardcover 0262038838 9780262038836	zzzz Locate
2 Model Checking 2018, MIT Press in English 0262349442 9780262349444	zzzz Locate
3 Model Checking 1999, MIT Press in English 0262270455 9780262270458	aaaa Locate
4 Model Checking 1999, MIT Press in English 0585385580 9780585385587	zzzz Locate
5 Model Checking January 7, 1999, The MIT Press Hardcover in English 0262032708 9780262032704	zzzz Locate