Decidability of Parameterized Verification - Roderick Bloem - Books - Morgan & Claypool - 9781627057431 - September 30, 2015
In case cover and title do not match, the title is correct

Roderick Bloem
Decidability of Parameterized Verification

Get an email once the item is available
Do you have a profile? Log in

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list
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

Mere med samme udgiver

More from this series

See all of Roderick Bloem ( e.g. Paperback Book )