Free delivery for orders over 69.99 euro.

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Digitale Hardware/Software-Systeme

Name: Digitale Hardware/Software-Systeme
Brand: Springer, Berlin
SKU: 01650820
Price: 35.86 EUR
Availability: InStock
Author: Christian Haubelt
ISBN: 9783642053559

Spezifikation und Verifikation

Christian Haubelt

Jürgen Teich

Language

German

Book Paperback

Libristo code: 01650820

Publishers Springer, Berlin, November 2009

Eingebettete Systeme sind aus unserem täglichen Leben nicht mehr wegzudenken. Aufgrund ihrer Spezial... Full description

Libristo code: 01650820

87 b

35.86 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Soft Computing Andrea Tettamanzi

Hardback

58.40 €

Services Management in Intelligent Networks Anthony Ambler

Paperback

51.63 €

Le Pas Du Perron Fee Anonyme

Hardback

42.53 €

Mirabelle and the Baby Dragons (Hardback) Harriet Muncaster

Hardback

9.19 €

Kid's Box Level 2 Workbook with Online Resources American English Caroline Nixon

Hardback

35.86 €

Baby-Sitters Club Retro Set ANN M. MARTIN

Paperback

31.82 €

APRENDE ELECTRÓNICA Y ROBÓTICA EDUCATIVA ROBERTO MONTERO MIGUEL

Hardback

21.51 €

Gone With The Whisker Laurie Cass

Paperback

8.98 €

Río Negro Y Sus Progresos, Volume 1... Setembrino E. Pereda

Hardback

38.19 €

The Marvellers Clayton

Hardback

15.05 €

Software Mistakes and Tradeoffs Jon Skeet

Paperback

49.20 €

Slaying the Shadow Prince Helen Scheuerer

Paperback

17.47 €

Design Monograph: Perriand Naomi Stungo

Hardback

13.53 €

Frontiers and Challenges in Warm Dense Matter Michael P. Desjarlais

Hardback

154.20 €

Alexander Hamilton and the Reynolds Affair

Paperback

13.53 €

And Then I Fucked Them: The Revenge of a Rape Victim Mahi Iyp

Paperback

13.33 €

Détonation Dominique Loreau

Hardback

22.93 €

Data-Driven Modeling: Using MATLAB (R) in Water Resources and Environmental Engineering Shahab Araghinejad

Hardback

85.58 €

Le nouveau sans frontieres 3 cassettes individ. - unités 1-2 Jean-Marie Cridlig

binding.

16.97 €

Way Ahead 1 Poster Revised P. Ellis

Poster

43.64 €

Everybody Up: 4: iTools Susan Banman Sileci

Digital CD

160.46 €

Collected Poems: Macdara Woods Macdara Woods

Paperback

29.70 €

Introduction to Plasma Astrophysics and Magnetohydrodynamics M. Goossens

Paperback

102.86 €

From Deprived to Revived Mikko Heimola

Hardback

123.98 €

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.