Decidability of Parameterized Verification > Editions

by Roderick Bloem First published September 30th 2015

Sort by
Format
Language
Editions
Showing 1-3 of 3
Decidability of Parameterized Verification (Synthesis Lectures on Distributed Computing Theory)
Decidability of Parameterized Verification (Synthesis Lectures on Distributed Computing Theory)
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)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Decidability of Parameterized Verification (Synthesis Lectures on Distributed Computing Theory)
Decidability of Parameterized Verification (Synthesis Lectures on Distributed Computing Theory)
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)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Decidability of Parameterized Verification
Decidability of Parameterized Verification (ebook)
Published September 30th 2015 by Morgan & Claypool
ebook, 170 pages
Author(s):
ISBN:
9781627057448 (ISBN10: 1627057447)
ASIN:
1627057447
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