Decidability of Parameterized Verification > Editions
by Roderick Bloem First published September 30th 2015
Published September 29th 2015
by Springer
1, Paperback, 172 pages
Author(s):
ISBN:
9783031008832
(ISBN10: 3031008839)
ASIN:
3031008839
Edition language:
English
Average rating:
0.0
(0 ratings)
Published September 30th 2015
by Morgan & Claypool Publishers
Paperback, 172 pages
Author(s):
ISBN:
9781627057431
(ISBN10: 1627057439)
ASIN:
1627057439
Edition language:
English
Average rating:
0.0
(0 ratings)
Published September 30th 2015
by Morgan & Claypool
ebook, 170 pages
Author(s):
ISBN:
9781627057448
(ISBN10: 1627057447)
ASIN:
1627057447
Average rating:
0.0
(0 ratings)
