Christian Haubelt,
Jürgen Teich
Springer Berlin Heidelberg
2010e druk, 2010
9783642053559
Digitale Hardware/Software-Systeme
Spezifikation und Verifikation
Specificaties
Paperback, 601 blz.
|
Duits
Springer Berlin Heidelberg |
2010e druk, 2010
ISBN13: 9783642053559
Rubricering
Juridisch
:
Onderdeel van serie
eXamen.press
Levertijd ongeveer 9 werkdagen
Gratis verzonden
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
Inhoudsopgave
Spezifikation digitaler Systeme.- Verifikation.- Äquivalenzprüfung.- Eigenschaftsprüfung.- Hardware-Verifikation.- Software-Verifikation.- Systemverifikation.
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht