Tell your friends about this item:
Decidability of Parameterized Verification Roderick Bloem
Do you have a profile? Log in
Get notified about new Roderick Bloem releases
Our customers say:
Add to your iMusic wish list
Decidability of Parameterized Verification
Roderick Bloem
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | September 30, 2015 |
| ISBN13 | 9781627057431 |
| Publishers | Morgan & Claypool |
| Pages | 172 |
| Dimensions | 191 × 235 × 9 mm · 303 g |
| Language | English |
More by Roderick Bloem
Show all
More from this series
More from the same publisher
See all of Roderick Bloem ( e.g. Paperback Book )