Challenge Faves

Handbook of Model Checking > Editions

by Edmund M. Clarke Jr. First published September 10th 2016

Sort by
Format
Language
Editions
Showing 1-4 of 4
Handbook of Model Checking
Handbook of Model Checking (Hardcover)
Published June 8th 2018 by Springer
1st ed. 2018, Hardcover, 1,260 pages
Author(s):
ISBN:
9783319105741 (ISBN10: 3319105744)
ASIN:
3319105744
Edition language:
English
Average rating:
4.50 (4 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Handbook of Model Checking
Handbook of Model Checking (Kindle Edition)
Published May 18th 2018 by Springer
Kindle Edition
Author(s):
ASIN:
B0DF24JPRH
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
Handbook of Model Checking
Handbook of Model Checking (Paperback)
Published November 14th 2020 by Springer
Softcover reprint of the original 1st ed. 2018, Paperback, 1,260 pages
Author(s):
ISBN:
9783030132330 (ISBN10: 3030132331)
ASIN:
3030132331
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
Handbook of Model Checking
Handbook of Model Checking (Kindle Edition)
Published May 18th 2018 by Springer
1st ed. 2018, Kindle Edition, 1,260 pages
Author(s):
ISBN:
9783319105758 (ISBN10: 3319105752)
ASIN:
B07D66KYRJ
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