Christian Haubelt,
Jürgen Teich
Digitale Hardware/Software-Systeme
Spezifikation und Verifikation
Paperback Duits 2010 2010e druk 9783642053559
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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 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.
Specificaties
ISBN13:9783642053559
Taal:Duits
Bindwijze:paperback
Aantal pagina's:601
Uitgever:Springer Berlin Heidelberg
Druk:2010
Hoofdrubriek:Programmeren, Computer en informatica
Serie:eXamen.press
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
Spezifikation digitaler Systeme.- Verifikation.- Äquivalenzprüfung.- Eigenschaftsprüfung.- Hardware-Verifikation.- Software-Verifikation.- Systemverifikation.
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan