Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Digitale Hardware/Software-Systeme

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

Spezifikation und Verifikation

Christian Haubelt

Jürgen Teich

Jezik

Nemščina

Knjiga Mehka

Koda Libristo: 01650820

Založba Springer, Berlin, november 2009

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

Koda Libristo: 01650820

82 b

34.02 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Soft Computing Andrea Tettamanzi

Trda

53.26 €

Services Management in Intelligent Networks Anthony Ambler

Mehka

48.91 €

Le Pas Du Perron Fee Anonyme

Trda

38.88 €

Mirabelle and the Baby Dragons (Hardback) Harriet Muncaster

Trda

8.60 €

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

Trda

32.20 €

Baby-Sitters Club Retro Set ANN M. MARTIN

Mehka

29.97 €

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

Trda

19.44 €

Gone With The Whisker Laurie Cass

Mehka

7.89 €

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

Trda

36.45 €

The Marvellers Clayton

Trda

14.07 €

Software Mistakes and Tradeoffs Jon Skeet

Mehka

46.58 €

Slaying the Shadow Prince Helen Scheuerer

Mehka

16.70 €

Design Monograph: Perriand Naomi Stungo

Trda

12.75 €

Frontiers and Challenges in Warm Dense Matter Michael P. Desjarlais

Trda

146.14 €

Alexander Hamilton and the Reynolds Affair

Mehka

12.75 €

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

Mehka

12.65 €

Détonation Dominique Loreau

Trda

20.96 €

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

Trda

81.02 €

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

binding.

15.49 €

Way Ahead 1 Poster Revised P. Ellis

Plakat

41.62 €

Everybody Up: 4: iTools Susan Banman Sileci

Digitalni CD

146.85 €

Collected Poems: Macdara Woods Macdara Woods

Mehka

28.35 €

Introduction to Plasma Astrophysics and Magnetohydrodynamics M. Goossens

Mehka

97.53 €

From Deprived to Revived Mikko Heimola

Trda

117.78 €

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.