Tell your friends about this item:
MBMV 2014. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Jürgen Ruf
MBMV 2014. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Jürgen Ruf
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | February 18, 2014 |
| ISBN13 | 9783954046379 |
| Publishers | Cuvillier |
| Pages | 222 |
| Dimensions | 148 × 210 × 12 mm · 294 g |
| Language | German |