eXamen.press- Digitale Hardware/Software-Systeme Spezifikation und Verifikation
Afbeeldingen
Artikel vergelijken
Auteur:
Christian Haubelt
Jürgen Teich
Co-auteur:
Jürgen Teich
- Duits
- Paperback
- 9783642053559
- 24 juni 2010
- 601 pagina's
Samenvatting
Das vorliegende 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.
Eingebettete Systeme sind aus unserem täglichen Leben nicht mehr wegzudenken. Aufgrund ihrer Spezialisiertheit werden diese zunehmend aus interagierenden Hardware- und Software-Komponenten realisiert. Dies macht ein ganzheitliches, über Hardware- und Softwaregrenzen hinausgehendes Verständnis der Verifikationsproblematik erforderlich. Das vorliegende 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. Alle Verfahren werden in einer einheitlichen Notation für Hard- und Software beschrieben. Die wesentlichen Aspekte reichen, angefangen bei der Spezifikation, von der Verifikation der Funktionalität bis hin zur Überprüfung des Zeitverhaltens. Das vorliegende Buch bietet Studierenden der Informatik, Elektrotechnik, Informationstechnik und Mechatronik fundiertes Wissen und ist zugleich ein wertvolles Referenz- und Nachschlagewerk für Entwickler eingebetteter Systeme.
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- de
- Bindwijze
- Paperback
- Oorspronkelijke releasedatum
- 24 juni 2010
- Aantal pagina's
- 601
- Illustraties
- Met illustraties
Betrokkenen
- Hoofdauteur
- Christian Haubelt
- Tweede Auteur
- Jürgen Teich
- Co Auteur
- Jürgen Teich
- Hoofduitgeverij
- Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Overige kenmerken
- Editie
- 2010 ed.
- Extra groot lettertype
- Nee
- Product breedte
- 155 mm
- Product hoogte
- 32 mm
- Product lengte
- 235 mm
- Studieboek
- Ja
- Verpakking breedte
- 155 mm
- Verpakking hoogte
- 234 mm
- Verpakking lengte
- 235 mm
- Verpakkingsgewicht
- 926 g
EAN
- EAN
- 9783642053559
Je vindt dit artikel in
- Categorieën
- Taal
- Duits
- Boek, ebook of luisterboek?
- Boek
- Studieboek of algemeen
- Studieboeken
Kies gewenste uitvoering
Bindwijze
: Paperback
Prijsinformatie en bestellen
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.