My Orders
Wishlist
Help
Sell On Loot
Symbolic Methods Applied to Formal Verification and Synthesis in Embedded Systems Design (Paperback)
Karsten Strehl
Not available
Add to wish listReview this Item
Customer Reviews
No reviews or ratings yet - be the first to create one!
Product Details
General
Imprint | Shaker Verlag Gmbh, Germany |
Country of origin | Germany |
Series | Technische Informatik |
Release date | March 2000 |
Availability | We don't currently have any sources for this product. If you add this item to your wish list we will let you know when it becomes available. |
Authors | Karsten Strehl |
Dimensions | 205 x 145mm (L x W) |
Format | Paperback |
Pages | 168 |
ISBN-13 | 978-3-8265-7193-0 |
Barcode | 9783826571930 |
Categories | |
LSN | 3-8265-7193-2 |
Similar Products | Recommended ProductsSee more 
Trending On Loot
Be the first to know about our
latest deals & promos! Subscribe Now
