An edition of Eine formale algorithmische Synthese digitaler Schaltungen (2005)
Eine formale algorithmische Synthese digitaler Schaltungen
By Kai Kapp
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
2005
Publisher
Univ.-Verl. Karlsruhe
Language
ger
Pages
-
Description:
subjects: Digitalschaltung, HOL, Logiksynthese, Formale Spezifikationstechnik