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č 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č
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

Cibo vitale. Nutrire l'uomo per rigenerare la Terra Jasmin Peschke / Kniha Brožovaná
common.buy 606 Kč
Photography Inspirations /multilingue DAAB / Kniha Brožovaná
common.buy 2 098 Kč
Carmen à 1,55 euros Prosper Mérimée / Kniha Brožovaná
common.buy 87 Kč
Unterrichtsplanung und Methoden Astrid Kaiser / Kniha Brožovaná
common.buy 393 Kč
National-Sozialer Katechismus: Erklarung Der Grundlinien Des National-Sozialen Vereins Friedrich Naumann / Kniha Brožovaná
common.buy 375 Kč
de L'Esprit Des Lois V4 (1784) Charles De Secondat Montesquieu / Kniha Pevná
common.buy 946 Kč
Geschichten Aus Den Vier Winden Max Dauthendey / Kniha Brožovaná
common.buy 746 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 744 Kč
Pasje Zygmunta Freuda Fromm Erich / Kniha Brožovaná
common.buy 140 Kč
Las carreteras forman parte del paisaje JACKSON BRINCKERHOFF / Kniha Brožovaná
common.buy 202 Kč
Ahoi, ihr Landratten! Kristin Lückel / Kniha Pevná
common.buy 194 Kč
No lleves hadas al cole PALOMA BORDONS / Kniha Brožovaná
common.buy 235 Kč
Assoziationsregel-Algorithmen fuer Daten mit komplexer Struktur Lars Schmidt-Thieme / Kniha Brožovaná
common.buy 1 734 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č

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 524 Kč
Hot British Boyfriend Kristy Boyce / Kniha Brožovaná
common.buy 236 Kč
Top
Hubble's Universe: 2nd Ed; Greatest Discoveries and Latest Images Terence Dickinson / Kniha Pevná
common.buy 686 Kč
The CSB Study Bible for Women, Hardcover Csb Bibles By Holman / Kniha Pevná
common.buy 833 Kč
Top
The Extended Phenotype Richard Dawkins / Kniha Brožovaná
common.buy 317 Kč
Twentieth Century German Art Exhibition Lucy (Courtauld Institute of Art) Wasensteiner / Kniha Pevná
common.buy 5 509 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č
Carry On Rainbow Rowell / Kniha Brožovaná
common.buy 253 Kč
Top
How to Prove It Daniel J. Velleman / Kniha Brožovaná
common.buy 1 116 Kč
LEGO Games Book DK / Kniha Pevná
common.buy 329 Kč
Top
Adorable Fruits & Vegetables to Crochet Marie Clesse / Kniha Brožovaná
common.buy 256 Kč
Planets Fiona Watt / Kniha Leporelo
common.buy 292 Kč
History of the French Revolution, Volume 1 Heinrich Von Sybel / Kniha Brožovaná
common.buy 707 Kč
Top
Master Your Data with Excel and Power BI Miguel Escobar / Kniha Brožovaná
common.buy 567 Kč
Sacred Search Gary Thomas / Kniha Brožovaná
common.buy 312 Kč
The World I Fell Into: What Breaking My Neck Taught Me about Life Melanie Reid / Kniha Brožovaná
common.buy 403 Kč
Tea Dragon Festival ONEILL K / Kniha Brožovaná
common.buy 286 Kč
Levně
How to Cook That : Crazy Sweet Creations (Chocolate Baking, Pie Baking, Confectionary Desserts, and More) Ann Reardon / Kniha Pevná
common.buy 445 Kč
Top
Your Next Five Moves Patrick Bet-David / Kniha Brožovaná
common.buy 248 Kč
C1 Advanced (CAE) 2100 English Vocabulary C1 YAO DAVID YAO / Kniha Brožovaná
common.buy 379 Kč
Adobe Illustrator Classroom in a Book (2022 release) Brian Wood / Kniha Brožovaná
common.buy 1 216 Kč
Bloodmarked Tracy Deonn / Kniha Pevná
common.buy 317 Kč
The Birds of America John James Audubon / Kniha Pevná
common.buy 801 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?