- Books
- ISBN: 9781627057431
Edition
ISBN: 1627057439 /
ISBN-13: 9781627057431
- Book Details
- Seller
-
-
|
- Edition:
- 2015, Morgan & Claypool
-
Paperback,
Good
|
- Details:
- ISBN:
1627057439
- ISBN-13:
9781627057431
- Publisher:
Morgan & Claypool
- Published:
2015
- Language:
English
- Alibris ID:
17926369558
|
- Shipping Options:
- Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
|
- Seller's Description:
- Good. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
|
|
Hide Details ▴ |
-
Paperback,
Good
Decidability of Parameterized Verification (Synthesis Lectures on Distributed Computing Theory)
by Bloem, Roderick
2015, Morgan & Claypool Publishers
ISBN-13:
9781627057431
See Item Details ▾
|
Bonita
HIGH
Newport Coast,
CA,
USA
|
$110.04
|
|
- Edition:
- 2015, Morgan & Claypool Publishers
-
Paperback,
Good
|
- Details:
- ISBN:
1627057439
- ISBN-13:
9781627057431
- Publisher:
Morgan & Claypool Publishers
- Published:
2015
- Language:
English
- Alibris ID:
17941359083
|
- Shipping Options:
- Standard Shipping: $4.64
Choose your shipping method in Checkout. Costs may vary based on destination.
|
- Seller's Description:
- Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
|
|
Hide Details ▴ |
Related Books
Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers
by
Roderick Bloem
Starting at $17.10
|
|
|
|