Advances in Hardware Design and Verification
Seiten
1998
|
Softcover reprint of the original 1st ed. 1997
Springer-Verlag New York Inc.
978-1-5041-2885-8 (ISBN)
Springer-Verlag New York Inc.
978-1-5041-2885-8 (ISBN)
- Titel wird leider nicht erscheinen
- Artikel merken
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.
| Erscheinungsdatum | 12.01.2019 |
|---|---|
| Reihe/Serie | IFIP Advances in Information and Communication Technology |
| Zusatzinfo | IX, 313 p. |
| Verlagsort | New York |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Mathematik / Informatik ► Informatik ► Datenbanken |
| ISBN-10 | 1-5041-2885-0 / 1504128850 |
| ISBN-13 | 978-1-5041-2885-8 / 9781504128858 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Einführung in die Praxis der Datenbankentwicklung für Ausbildung, …
Buch | Softcover (2021)
Springer Fachmedien Wiesbaden GmbH (Verlag)
CHF 69,95
