Horror Recs by Place

Model Checking > Editions

by Edmund M. Clarke Jr. First published December 20th 1999

Sort by
Format
Language
Editions
Showing 1-9 of 9
Model Checking
Model Checking (Hardcover)
Published January 7th 1999 by Mit Pr
n, Hardcover, 330 pages
Author(s):
ISBN:
9780262032704 (ISBN10: 0262032708)
ASIN:
0262032708
Edition language:
English
Average rating:
3.70 (20 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Model Checking
Model Checking (Hardcover)
Published December 4th 2018 by The MIT Press
2nd Edition, Hardcover, 424 pages
Author(s):
ISBN:
9780262038836 (ISBN10: 0262038838)
ASIN:
0262038838
Edition language:
English
Average rating:
4.00 (3 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Model Checking (Cyber Physical Systems Series)
Model Checking (Cyber Physical Systems Series)
Published December 4th 2018 by The MIT Press
Second Edition, Kindle Edition, 620 pages
Author(s):
ISBN:
9780262349451 (ISBN10: 0262349450)
ASIN:
B08BT3RHWZ
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Model Checking (Cyber Physical Systems Series)
Model Checking (Cyber Physical Systems Series)
Published November 9th 2018 by The MIT Press
Kindle Edition, 409 pages
Author(s):
ASIN:
B07KZMNWHX
Average rating:
5.00 (1 rating)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Model Checking
Model Checking (Unknown Binding)
Published May 14th 2014 by MIT Press (MA)
Unknown Binding, 0 pages
Author(s):
ISBN:
9780585385587 (ISBN10: 0585385580)
ASIN:
0585385580
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Model Checking (MIT Press) by Edmund M. Clarke Jr. (1999-01-07)
Model Checking (MIT Press) by Edmund M. Clarke Jr. (1999-01-07)
Published by The MIT Press
Hardcover, 0 pages
Author(s):
ASIN:
B01FIXZADK
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Model Checking by Edmund M. Clarke Jr. (1999-01-07)
Model Checking by Edmund M. Clarke Jr. (1999-01-07)
Published January 1st 1794 by The MIT Press
Hardcover
Author(s):
ASIN:
B017YCJY62
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Model Checking by Clarke, Edmund published by MIT Press (2000)
Model Checking by Clarke, Edmund published by MIT Press (2000)
Published by MIT Press
Hardcover, 0 pages
Author(s):
ASIN:
B00EKYH80W
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Model Checking n edition by Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled (1999) Hardcover
Model Checking n edition by Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled (1999) Hardcover
Published by The MIT Press
n, Hardcover, 0 pages
Author(s):
ASIN:
B011DCCL9Q
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page