> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Eine formale algorithmische Synthese digitaler Schaltungen Beteiligte: Kapp, Kai [Verfasser:in] Erschienen: Karlsruhe: Universitätsverlag, 2005 Umfang: Online-Ressource Sprache: Deutsch DOI: 10.5445/KSP/1000003729 ISBN: 3937300902 Identifikator: Schlagwörter: Digitalschaltung > Logiksynthese > Formale Spezifikationstechnik > HOL Entstehung: Hochschulschrift: Zugl.: Karlsruhe, Univ., Diss., 2004 Anmerkungen: Zugangsstatus: Freier Zugang