phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Formal Specification Level

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Specification Level Mathias Soeken
Libristo kód: 13633632
Nakladatelství Springer International Publishing AG, srpna 2016
This book introduces a new level of abstraction that closes the gap between the textual specificatio... Celý popis
? points 304 b
3 037 Kč včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

TOP
Your Next Five Moves Patrick Bet-David / Brožovaná
common.buy 283 Kč
TOP
Tea Dragon Festival / Brožovaná
common.buy 303 Kč
TOP
The Extended Phenotype Richard Dawkins / Brožovaná
common.buy 369 Kč
TOP
Woman Destroyed Simone de Beauvoir / Brožovaná
common.buy 258 Kč
TOP
How to Prove It Daniel J. Velleman / Brožovaná
common.buy 1 082 Kč
TOP
Sitting Still Like a Frog Eline Snel / Brožovaná
common.buy 316 Kč
TOP
Adorable Fruits & Vegetables to Crochet Marie Clesse / Brožovaná
common.buy 308 Kč
TOP
Master Your Data with Excel and Power BI Miguel Escobar / Brožovaná
common.buy 723 Kč
TOP
The Unofficial Harry Potter Cookbook Dinah Bucholz / Pevná
common.buy 428 Kč
TOP
How to Cook That : Crazy Sweet Creations (Chocolate Baking, Pie Baking, Confectionary Desserts, and More) Ann Reardon / Pevná
common.buy 561 Kč
TOP
LEGO Games Book DK / Pevná
common.buy 398 Kč
TOP
Hot British Boyfriend Kristy Boyce / Brožovaná
common.buy 249 Kč
Big Five For Life John P. Strelecky / Brožovaná
common.buy 298 Kč
Carry On Rainbow Rowell / Brožovaná
common.buy 216 Kč
Hubble's Universe: 2nd Ed; Greatest Discoveries and Latest Images Terence Dickinson / Pevná
common.buy 759 Kč
The CSB Study Bible for Women, Hardcover Csb Bibles By Holman / Pevná
common.buy 805 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 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.§

Informace o knize

Plný název Formal Specification Level
Autor Mathias Soeken, Rolf Drechsler
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2016
Počet stran 138
EAN 9783319378824
ISBN 3319378821
Libristo kód 13633632
Nakladatelství Springer International Publishing AG
Váha 238
Rozměry 155 x 235 x 8

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Elektronika: obvody a komponenty
Technologie, strojírenství, zemědělství > Technologie: obecná témata > Strojírenství: obecně
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet