Articles liés à Digitale Hardware/Software-Systeme: Spezifikation und...
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 41,57
EUR 4,57 expédition depuis Royaume-Uni vers France
Destinations, frais et délaisRésultats de recherche pour Digitale Hardware/Software-Systeme: Spezifikation und...
Image d'archives
Digitale Hardware/Software-Systeme: Spezifikation und Verifikation (eXamen.press) (German Edition)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783642053559_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Digitale Hardware/Software-Systeme
Edité par
Springer Berlin Heidelberg, 2010
ISBN 10 : 3642053556
ISBN 13 : 9783642053559
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Einziges Lehrbuch, das die Verzahnung der Verifikation von Hardware und Hardware-naher Software beschreibtWertvolles Referenz- und Nachschlagewerk sowohl fuer Forscher als auch fuer Entwickler eingebetteter SystemeEingebettete Systeme sin. N° de réf. du vendeur 5044588
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Digitale Hardware/Software-Systeme : Spezifikation und Verifikation
Edité par
Springer Berlin Heidelberg, 2010
ISBN 10 : 3642053556
ISBN 13 : 9783642053559
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783642053559
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Digitale Hardware/Software-Systeme
Edité par
Springer Berlin Heidelberg Jun 2010, 2010
ISBN 10 : 3642053556
ISBN 13 : 9783642053559
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 612 pp. Deutsch. N° de réf. du vendeur 9783642053559
Quantité disponible : 2 disponible(s)
Image d'archives
Digitale Hardware/Software-Systeme : Spezifikation und Verifikation
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783642053559
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Digitale Hardware/Software-Systeme
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 2010, 2010
ISBN 10 : 3642053556
ISBN 13 : 9783642053559
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 612 pp. Deutsch. N° de réf. du vendeur 9783642053559
Quantité disponible : 2 disponible(s)
Image d'archives
Digitale Hardware/Software-Systeme
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 612. N° de réf. du vendeur 262177664
Quantité disponible : 4 disponible(s)
Image d'archives
Digitale Hardware/Software-Systeme
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 612. N° de réf. du vendeur 182177674
Quantité disponible : 4 disponible(s)
Image d'archives
Digitale Hardware/Software-Systeme
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand pp. 612 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 5670239
Quantité disponible : 4 disponible(s)
Image d'archives
Haubelt,C.:Digitale Hardware/Software (ger)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 4 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 5dc6e6b4bc24579ab97dc7dc9afd9b99
Quantité disponible : Plus de 20 disponibles