EVA STAR Trefferanzeige

Volltext Volltext.ps1.ps (778 KB) Eisenbiegler.pdf2.pdf (349 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA2913957
Titel ABC-VHDL. A synchronous VHDL subset with a formal semantics in HOL
Autor Eisenbiegler, Dirk
Kumar, Ramayya
Institution Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität)
Forschungszentrum Informatik, Karlsruhe (FZI)
Dokumenttyp Buch
Verlag Karlsruhe
Jahr 1995
Serie FZI-Bericht / Forschungszentrum Informatik an der Universität Karlsruhe ; 1995,8