Digitale Hardware/Software-Systeme
Subtitle: Spezifikation und Verifikation
By: Christian Haubelt, Jürgen Teich
Contributors: Teich, Jürgen, 1964-
Series: eXamen.press; EXamen.press
Publisher: Springer
Published: 2010
Place of publication: Berlin; Heidelberg
Language: ger
Format: [electronic resource] :
Number of pages: 601
ISBN-13: 9783642053566; 9783642053559
Subjects: Embedded computer systems; Microprogramming; Computer network architectures; Software engineering; System design
Notes: Title from PDF t.p. (SpringerLink, viewed Aug. 1, 2011).

Includes bibliographical references and index.