Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Digitale Hardware/Software-Systeme

Name: Digitale Hardware/Software-Systeme
Brand: Springer, Berlin
SKU: 01650820
Price: 13893 HUF
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

95 b

13 893 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Soft Computing Andrea Tettamanzi

Hardback

21 311 Ft

Services Management in Intelligent Networks Anthony Ambler

Paperback

19 902 Ft

Le Pas Du Perron Fee Anonyme

Hardback

15 095 Ft

Mirabelle and the Baby Dragons (Hardback) Harriet Muncaster

Hardback

3 577 Ft

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

Hardback

12 719 Ft

Baby-Sitters Club Retro Set ANN M. MARTIN

Paperback

12 442 Ft

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

Hardback

7 635 Ft

Gone With The Whisker Laurie Cass

Paperback

3 314 Ft

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

Hardback

14 628 Ft

The Marvellers Clayton

Hardback

5 860 Ft

Software Mistakes and Tradeoffs Jon Skeet

Paperback

18 437 Ft

Slaying the Shadow Prince Helen Scheuerer

Paperback

6 683 Ft

Design Monograph: Perriand Naomi Stungo

Hardback

5 292 Ft

Frontiers and Challenges in Warm Dense Matter Michael P. Desjarlais

Hardback

59 474 Ft

Alexander Hamilton and the Reynolds Affair

Paperback

5 306 Ft

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

Paperback

5 130 Ft

Détonation Dominique Loreau

Hardback

8 135 Ft

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

Hardback

33 079 Ft

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

binding.

6 022 Ft

Way Ahead 1 Poster Revised P. Ellis

Poster

16 680 Ft

Everybody Up: 4: iTools Susan Banman Sileci

Digital CD

56 969 Ft

Collected Poems: Macdara Woods Macdara Woods

Paperback

11 374 Ft

Introduction to Plasma Astrophysics and Magnetohydrodynamics M. Goossens

Paperback

39 688 Ft

From Deprived to Revived Mikko Heimola

Hardback

47 721 Ft

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.