Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
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č
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Specification Level

Concepts, Methods, and Algorithms

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Specification Level Mathias Soeken
Libristo kód: 13633632
Nakladatelství Springer International Publishing AG, srpen 2016
This book introduces a new level of abstraction that closes the gap between the textual specificatio... Celý popis
? points 236 b
2 357 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

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

Zákazníci také koupili

FABLIAU 2 OPUS 75 PIANO JOSEPH-JOACHIM RAFF Tiskovina Noty
common.buy 216 Kč
Assoziationsregel-Algorithmen fuer Daten mit komplexer Struktur Lars Schmidt-Thieme / Kniha Brožovaná
common.buy 1 740 Kč
Photography Inspirations /multilingue DAAB / Kniha Brožovaná
common.buy 2 099 Kč
Levně
Hell's Paradise - Band 1 Yuko Keller / Kniha Brožovaná
common.buy 161 Kč
Orthographe progressive du francais J-M Robert / Kniha Brožovaná
common.buy 763 Kč
Pasje Zygmunta Freuda Fromm Erich / Kniha Brožovaná
common.buy 117 Kč
No lleves hadas al cole PALOMA BORDONS / Kniha Brožovaná
common.buy 235 Kč
Gruppentraining Wirbelsaulengymnastik. Optimaler Phasenverlauf und Funktionen des Gruppentrainers nach Reiss & Fikenzer Anonym / Kniha Brožovaná
common.buy 309 Kč
Técnicas generales de laboratorio María Isabel Lorenzo Luque / Kniha Brožovaná
common.buy 1 169 Kč
Unterrichtsplanung und Methoden Astrid Kaiser / Kniha Brožovaná
common.buy 393 Kč
Klassenarbeiten Mathematik 5, m. 1 CD-ROM Martin Gehstein / Kniha Brožovaná
common.buy 698 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.§

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

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

Mohlo by vás také zajímat

Halakhic Man, Authentic Jew Ira Bedzow / Kniha Pevná
common.buy 512 Kč
Top
Master Your Data with Excel and Power BI Miguel Escobar / Kniha Brožovaná
common.buy 567 Kč
Journey to the Center of the Earth Jules Verne / Kniha Brožovaná
common.buy 163 Kč
Top
Zak George's Dog Training Revolution Zak George / Kniha Brožovaná
common.buy 273 Kč
Choices - Stories for the Sleepy Reader Henry M. Schmidt / Kniha Brožovaná
common.buy 358 Kč
C1 Advanced (CAE) 2100 English Vocabulary C1 YAO DAVID YAO / Kniha Brožovaná
common.buy 379 Kč
The Extended Phenotype Richard Dawkins / Kniha Brožovaná
common.buy 319 Kč
Top
Your Next Five Moves Patrick Bet-David / Kniha Brožovaná
common.buy 254 Kč
Hubble's Universe: 2nd Ed; Greatest Discoveries and Latest Images Terence Dickinson / Kniha Pevná
common.buy 809 Kč
The CSB Study Bible for Women, Hardcover Csb Bibles By Holman / Kniha Pevná
common.buy 811 Kč
The Birds of America John James Audubon / Kniha Pevná
common.buy 801 Kč
Twentieth Century German Art Exhibition Lucy (Courtauld Institute of Art) Wasensteiner / Kniha Pevná
common.buy 4 967 Kč
Top
How to Cook That : Crazy Sweet Creations (Chocolate Baking, Pie Baking, Confectionary Desserts, and More) Ann Reardon / Kniha Pevná
common.buy 458 Kč
Sequential Jazz Piano Songs: 26 Easy Favorites Carefully Selected and Arranged in Order of Difficulty Hal Leonard Corp / Kniha Brožovaná
common.buy 308 Kč
Top
Carry On Rainbow Rowell / Kniha Brožovaná
common.buy 219 Kč
Top
How to Prove It Daniel J. Velleman / Kniha Brožovaná
common.buy 1 046 Kč
Tea Dragon Festival ONEILL K / Kniha Brožovaná
common.buy 286 Kč
LEGO Games Book DK / Kniha Pevná
common.buy 333 Kč
Adorable Fruits & Vegetables to Crochet Marie Clesse / Kniha Brožovaná
common.buy 279 Kč
Planets Fiona Watt / Kniha Leporelo
common.buy 292 Kč
Hot British Boyfriend Kristy Boyce / Kniha Brožovaná
common.buy 194 Kč
Volvo 1944-1968 Workshop Manual PV444, PV544 (P110), P1800, PV445, P122 (P120 & Amazon), P210, P130, P220, 144, 142 & 145 Floyd Clymer / Kniha Brožovaná
common.buy 899 Kč
Writers and Politics in Germany, 1945-2008 Stuart Parkes / Kniha Brožovaná
common.buy 791 Kč

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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?