Ruf, Jürgen (Autor)
MBMV 2014
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-7369-4637-8 |
|---|---|
| Seitenzahl | 222 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 3415 Kbytes |