Knihu momentálně nemáme skladem
Parametry
Nákup knihy
Formale Beschreibung und automatisierte Verifikation von sequentiellem Hardwareverhalten auf der Basis von Logik höherer Ordnung, Matthias Mutz
- Jazyk
- Rok vydání
- 1993
Jakmile se objeví, pošleme e-mail.
Doručení
Platební metody
Nikdo zatím neohodnotil.