Symbolic Methods Applied to Formal Verification and Synthesis in Embedded Systems Design - Technische Informatik (Paperback)Karsten Strehl (author)
Paperback Published: 31/03/2000
- Not available
Publisher: Shaker Verlag GmbH, Germany
Dimensions: 205 x 145 mm
You may also be interested in...
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