Advances in Hardware Design and Verification
Seiten
1997
|
1997 ed.
Chapman and Hall (Verlag)
978-0-412-81330-6 (ISBN)
Chapman and Hall (Verlag)
978-0-412-81330-6 (ISBN)
CHARM '97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. This series is held in collaboration with IFIP WG 10.5. Previous meetings were held in Europe every other year.
| Reihe/Serie | IFIP International Federation for Information Processing |
|---|---|
| Zusatzinfo | IX, 313 p. |
| Verlagsort | London |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Informatik ► Datenbanken ► Data Warehouse / Data Mining |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| ISBN-10 | 0-412-81330-0 / 0412813300 |
| ISBN-13 | 978-0-412-81330-6 / 9780412813306 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Ein verständlicher Einstieg mit Python
Buch | Softcover (2024)
O'Reilly (Verlag)
CHF 41,85
eine Einführung mit Python, Scikit-Learn und TensorFlow
Buch | Softcover (2024)
O'Reilly (Verlag)
CHF 27,85
