Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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

Jazyk

Nemčina

Kniha Brožovaná

Libristo kód: 01650820

Nakladateľstvo Springer, Berlin, november 2009

Eingebettete Systeme sind aus unserem täglichen Leben nicht mehr wegzudenken. Aufgrund ihrer Spezial... Celý popis

Libristo kód: 01650820

87 b

35.86 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Soft Computing Andrea Tettamanzi

Pevná

55.77 €

Services Management in Intelligent Networks Anthony Ambler

Brožovaná

51.63 €

Le Pas Du Perron Fee Anonyme

Pevná

42.53 €

Mirabelle and the Baby Dragons (Hardback) Harriet Muncaster

Pevná

8.58 €

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

Pevná

35.86 €

Baby-Sitters Club Retro Set ANN M. MARTIN

Brožovaná

29.90 €

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

Pevná

21.51 €

Gone With The Whisker Laurie Cass

Brožovaná

8.38 €

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

Pevná

36.37 €

The Marvellers Clayton

Pevná

14.04 €

Software Mistakes and Tradeoffs Jon Skeet

Brožovaná

49.20 €

Slaying the Shadow Prince Helen Scheuerer

Brožovaná

16.66 €

Design Monograph: Perriand Naomi Stungo

Pevná

12.72 €

Frontiers and Challenges in Warm Dense Matter Michael P. Desjarlais

Pevná

154.20 €

Alexander Hamilton and the Reynolds Affair

Brožovaná

12.72 €

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

Brožovaná

12.62 €

Détonation Dominique Loreau

Pevná

22.93 €

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

Pevná

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

Plagát

43.64 €

Everybody Up: 4: iTools Susan Banman Sileci

Digital CD

160.46 €

Collected Poems: Macdara Woods Macdara Woods

Brožovaná

28.28 €

Introduction to Plasma Astrophysics and Magnetohydrodynamics M. Goossens

Brožovaná

102.86 €

From Deprived to Revived Mikko Heimola

Pevná

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.