Il libro è attualmente esaurito
Parametri
Acquisto del libro
Formale Beschreibung und automatisierte Verifikation von sequentiellem Hardwareverhalten auf der Basis von Logik höherer Ordnung, Matthias Mutz
- Lingua
- Pubblicato
- 1993
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.