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č PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 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.

Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms

Name: Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms
Brand: VDM Verlag Dr. Mueller E.K.
SKU: 06812272
Price: 1185 CZK
Availability: InStock
Author: Mohamed Abdel Maksoud
ISBN: 9783639024685

Mohamed Abdel Maksoud

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 06812272

Nakladatelství VDM Verlag Dr. Mueller E.K., červen 2008

Static methods are very successful in deriving crucial properties (e.g. timing behaviour) of safety... Celý popis

Libristo kód: 06812272

119 b

1 185 Kč

Skladem u dodavatele Odesíláme za 14-21 dnů

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

Zákazníci také koupili

Tik tak bum

Hra

464 Kč

Zwei weitere Winter Patrick Salmen

Pevná

287 Kč

WAKE SWEET MUSE JONATHAN CHENETTE Tiskovina

Noty

148 Kč

Precis de Botanique Medicale, (Ed.1898) Trabut L

Brožovaná

955 Kč

Molang - Tome 1 - Rires en plein air Goroglin

Pevná

312 Kč

Atypische medizinische Fallserien: Differenzialdiagnose Letícia S. P. Peçanha

Brožovaná

813 Kč

Le Journal Des Debats Et Le Traite Du 15 Juillet SANS AUTEUR

Brožovaná

315 Kč

paradiso popolato da diavoli. La Sicilia negli occhi degli altri Antonino Cangemi

Brožovaná

640 Kč

Die Ehe in dogmatischer, moralischer und sozialer Beziehung Bernhard Rive

Brožovaná

914 Kč

CYNARATERAPIA: ALCACHOFA Y ALCACHOFERA. EN DIETOTERAPIA MARC AMS

Brožovaná

891 Kč

Papageitaucher Clowns der Meere (Wandkalender 2026 DIN A4 quer), CALVENDO Monatskalender Calvendo

Kalendář

446 Kč

Static methods are very successful in deriving crucial properties (e.g. timing behaviour) of safety critical systems. Some information in the analysed program are not available either because they cannot be determined statically or because they were intentionally sacrificed (i.e. abstracted) to make program analysis tractable. These abstractions make program simulation nondeterministic. This book describes the algorithms and semantics developed and used in building an abstraction-aware compiler thatderives/generates pipeline analysis from an abstracted VHDL specification of the target microprocessor. This analysis is used in a commercial tool frame for deriving upper bound over executiontime of critical tasks. This book is useful for computer scientists and engineers concerned with computing timing analyses based on VHDL specification of the target hardware.