Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Digitale Hardware/Software-Systeme

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

Spezifikation und Verifikation

Christian Haubelt

Jürgen Teich

Jazyk

Němčina

Kniha Brožovaná

Libristo kód: 01650820

Nakladatelství Springer, Berlin, listopad 2009

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

Libristo kód: 01650820

82 b

822 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Soft Computing Andrea Tettamanzi

Pevná

1 348 Kč

Services Management in Intelligent Networks Anthony Ambler

Brožovaná

1 182 Kč

Le Pas Du Perron Fee Anonyme

Pevná

1 025 Kč

Baby-Sitters Club Retro Set ANN M. MARTIN

Brožovaná

676 Kč

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

Pevná

519 Kč

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

Pevná

855 Kč

Macroeconomía Plaza Martínez

Brožovaná

1 141 Kč

Gone With The Whisker Laurie Cass

Brožovaná

191 Kč

From Local Patriotism to a Planetary Perspective Martina Kolbl-Ebert

Adobe ePub DRM

1 643 Kč

Theodore Dreiser: Apostle Of Nature Robert H. Elias

Brožovaná

837 Kč

Rethinking Labour-Management Relations Christopher J. Bruce

Pevná

4 042 Kč

The Marvellers Clayton

Pevná

319 Kč

Software Mistakes and Tradeoffs Jon Skeet

Brožovaná

1 125 Kč

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

Brožovaná

307 Kč

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

Brožovaná

815 Kč

Détonation Dominique Loreau

Pevná

550 Kč

Alexander Hamilton and the Reynolds Affair

Brožovaná

308 Kč

Design Monograph: Perriand Naomi Stungo

Pevná

308 Kč

Slaying the Shadow Prince Helen Scheuerer

Brožovaná

382 Kč

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

Pevná

881 Kč

Mirabelle and the Baby Dragons (Hardback) Harriet Muncaster

Pevná

208 Kč

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

Brožovaná

294 Kč

Vocal Workouts for the Contemporary Singer Anne Peckham

Kniha

495 Kč

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

binding.

406 Kč

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.