Teich, Jürgen: Digitale Hardware, Software-Systeme
: Synthese und Optimierung ; mit 14 Tabellen / Jürgen Teich ; Christian Haubelt. - 2., erw. Aufl. - Berlin : Springer, 2007. - XV, 594 S. : graph. Darst.; 24 cm - (eXamen.press)
ISBN 978-3-540-46822-6 / 3-540-46822-6 kart. : EUR 32.95, sfr 56.50
Literaturverz. S. 547 - 570
Quelle: DNB Verlagsmeldungen
MBMV 2025
: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 28. Workshop, 11.-12. März 2025 in Rostock / Tagungsleitung: Prof. Dr.-Ing. habil. Christian Haubelt, Universität Rostock, Dr.-Ing. Florian Grützmacher, Universität Rostock. - Berlin : VDE VERLAG GmbH, 2025. - 1 CD-ROM : Illustrationen; 58 g - (ITG-Fachbericht; 320)
ISBN 978-3-8007-6515-7 / 3-8007-6515-2 : EUR 104.00 (DE), EUR 104.00 (AT)
Quelle: DNB
