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.

Formal Specification Level, 1

Name: Formal Specification Level, 1
Brand: Springer, Berlin
SKU: 02746221
Price: 2357 CZK
Availability: InStock
Author: Mathias Soeken
ISBN: 9783319086989

Algorithms, Concepts and Methods

Mathias Soeken

Rolf Drechsler

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 02746221

Nakladatelství Springer, Berlin, listopad 2014

This book introduces a new level of abstraction that closes the gap between the textual specificatio... Celý popis

Libristo kód: 02746221

236 b

2 357 Kč

Skladem u dodavatele Odesíláme za 10-13 dnů

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

Zákazníci také koupili

Odstřelovač Peter Brookesmith

Pevná

122 Kč

Vocabolario illustrato. Libro con maniglia. Ediz. illustrata

Brožovaná

151 Kč

Něžná je noc Francis Scott Fitzgerald

Pevná

205 Kč

Oh, comme tu es chanceux Docteur Seuss

Pevná

378 Kč

ELS AVANTATGES I ELS DESAVANTATGES DE LES LLETRES LEON BATTISTA ALBERTI

Pevná

438 Kč

Erlebnissteigerung anhand der Beispiele Eventmarketing und Tourismus Leonie Pepplinkhuizen

Brožovaná

389 Kč

Landhaus am Rhein Band 2 Berthold Auerbach

Brožovaná

308 Kč

Mathematisch-Organisatorische Studie Zur Planung Der Kapazit t Von Betriebsanlagen (Bearbeitet Am Beispiel Einer F rderanlage Unter Tage) Joseph Mathieu

Brožovaná

1 214 Kč

Hvězdy české sci-fi Ondřej Neff

Pevná

299 Kč

This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the so-called Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted semi-automatically from the textual specification in an interactive manner. The authors explain how to use these verification tasks to check conceptual properties, e.g. whether requirements are in conflict, as well as dynamic behavior, in terms of execution traces.