Het boek is momenteel niet op voorraad
Parameters
Een boek kopen
Formale Beschreibung und automatisierte Verifikation von sequentiellem Hardwareverhalten auf der Basis von Logik höherer Ordnung, Matthias Mutz
- Taal
- Jaar van publicatie
- 1993
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.