Handbook of Model Checking > Editions
by Edmund M. Clarke Jr. First published September 10th 2016
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)
Published May 18th 2018
by Springer
Kindle Edition
Author(s):
ASIN:
B0DF24JPRH
Edition language:
English
Average rating:
0.0
(0 ratings)
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)
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)
