Formal Verification of Concurrent Embedded Software (Paperback)Johannes Frederik Jesper Traub (author)
Paperback Published: 02/05/2016
- We can order this
Publisher: Books on Demand
Weight: 195 g
Dimensions: 210 x 148 x 8 mm
You may also be interested in...
£60.99Mixed media product
Please sign in to write a review
Thank you for your reservation
Your order is now being processed and we have sent a confirmation email to you at
When will my order be ready to collect?
Call us on or send us an email at
Unfortunately there has been a problem with your order
Please try again or alternatively you can contact your chosen shop on or send us an email at