Digitale Hardware/Software Systeme: Spezifikation und Verifikation Christian Haubelt

ISBN: 9783642053559

Published: June 24th 2010

Paperback

601 pages


Description

Digitale Hardware/Software Systeme: Spezifikation und Verifikation  by  Christian Haubelt

Digitale Hardware/Software Systeme: Spezifikation und Verifikation by Christian Haubelt
June 24th 2010 | Paperback | PDF, EPUB, FB2, DjVu, AUDIO, mp3, ZIP | 601 pages | ISBN: 9783642053559 | 4.23 Mb

Eingebettete Systeme werden aufgrund ihrer Spezialisiertheit zunehmend aus interagierenden Hardware-und Software-Komponenten realisiert. Dies macht ein ganzheitliches Verständnis der Verifikationsproblematik erforderlich. Das Lehrbuch dient alsMoreEingebettete Systeme werden aufgrund ihrer Spezialisiertheit zunehmend aus interagierenden Hardware-und Software-Komponenten realisiert. Dies macht ein ganzheitliches Verständnis der Verifikationsproblematik erforderlich. Das Lehrbuch dient als Einführung in die systematische Verifikation eingebetteter Systeme, sowohl bei spezialisierten Verfahren zur Hardware-und Software-Verifikation als auch bei der Verifikation der Schnittstellen.

Der Band dient als Nachschlagewerk für Entwickler und als Begleiter im Informatik-und Elektrotechnik-Studium.



Enter the sum





Related Archive Books



Related Books


Comments

Comments for "Digitale Hardware/Software Systeme: Spezifikation und Verifikation":


lombard-armi.pl

©2014-2015 | DMCA | Contact us