Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

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 Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 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 prevzemna mesta DPD in Express One.

Digitale Hardware/Software-Systeme

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

87 b

35.97 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Soft Computing Andrea Tettamanzi

Trda

53.30 €

Services Management in Intelligent Networks Anthony Ambler

Mehka

48.94 €

Le Pas Du Perron Fee Anonyme

Trda

38.81 €

Baby-Sitters Club Retro Set ANN M. MARTIN

Mehka

29.99 €

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

Trda

19.25 €

1 SMALL ISLAND Lester Alison

Trda

23.81 €

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

Trda

32.12 €

Macroeconomía Plaza Martínez

Mehka

43.26 €

Gone With The Whisker Laurie Cass

Mehka

7.89 €

From Local Patriotism to a Planetary Perspective Martina Kolbl-Ebert

Adobe ePub DRM

55.32 €

Theodore Dreiser: Apostle Of Nature Robert H. Elias

Mehka

34.65 €

Rethinking Labour-Management Relations Christopher J. Bruce

Trda

183.43 €

The Marvellers Clayton

Trda

14.08 €

Software Mistakes and Tradeoffs Jon Skeet

Mehka

46.61 €

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

Mehka

12.66 €

A Familiar History Of The British Army: From The Restoration In 1660 To The Present Time (1871) Joachim Hayward Stocqueler

Mehka

33.74 €

Détonation Dominique Loreau

Trda

20.87 €

Alexander Hamilton and the Reynolds Affair

Mehka

12.76 €

Design Monograph: Perriand Naomi Stungo

Trda

12.76 €

Slaying the Shadow Prince Helen Scheuerer

Mehka

16.71 €

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

Trda

36.47 €

Mirabelle and the Baby Dragons (Hardback) Harriet Muncaster

Trda

8.60 €

Не від цього світу Andrey Shapoval

Mehka

12.15 €

Vocal Workouts for the Contemporary Singer Anne Peckham

Knjiga

21.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.