Stel een vraag
Met het formulier hier onder kunt u contact op nemen met boekwinkel Boekstra.
Teich, Jürgen, Haubelt, Christian - Digitale Hardware/Software-Systeme - Spezifikation und Verifikation
De vraag gaat over de volgende titel:
| Afbeelding: |
|
|---|---|
| Schrijver: | Teich, Jürgen, Haubelt, Christian |
| Titel: | Digitale Hardware/Software-Systeme - Spezifikation und Verifikation |
| ISBN: | 9783642053559 |
| Uitgever: | Springer Berlin |
| Bijzonderheid: | 2010 612pp Paperback / softback |
| Prijs: |
€ 48,10
Gratis
|
| Meer info | Annotatie 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 Flaptekst 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. |
| Boek bekijken | |
Verzendkosten 1,75 euro per zending binnen Nederland, vanaf 19,95 euro GEEN verzendkosten binnen Nederland.
Verzendkosten België 2,95 euro per zending.
Minimale bestelafname van 10,- euro, exclusief verzending.
Speciale verzoeken? Meestal geen punt, vermeld ze in het veld opmerking.
De actuele levertijd kunt u vinden op onze website.
De verkoper zal binnen 1 werkdag contact met u opnemen om de koop verder af te handelen.