Digitale Hardware/Software-Systeme

Name: Digitale Hardware/Software-Systeme
SKU: 5765619
Price: 116.99 AUD
Availability: InStock

Spezifikation Und Verifikation

By:

Format:

Paperback

Series:

Examen.Press

Show Hide Adult Content

$116.99 was ~~$140.99~~

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $29.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 12-24 June using International Courier

Description

Eingebettete Systeme werden aufgrund ihrer Spezialisiertheit zunehmend aus interagierenden Hardware- und Software-Komponenten realisiert. Dies macht ein ganzheitliches Verstandnis der Verifikationsproblematik erforderlich. Das Lehrbuch dient als Einfuhrung 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 fur Entwickler und als Begleiter im Informatik- und Elektrotechnik-Studium.

Release date Australia

June 24th, 2010

Author

Audience

General (US: Trade)

Country of Publication

Germany

Illustrations

black & white illustrations

Imprint

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Pages

601

Publisher

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Series

Examen.Press

Dimensions

156x234x31

ISBN-13

9783642053559

Product ID

5765619

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here