Kniha momentálne nie je na sklade
Parametre
Nákup knihy
Formale Beschreibung und automatisierte Verifikation von sequentiellem Hardwareverhalten auf der Basis von Logik höherer Ordnung, Matthias Mutz
- Jazyk
- Rok vydania
- 1993
Akonáhle sa objaví, pošleme e-mail.
Platobné metódy
Nikto zatiaľ neohodnotil.