Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Specification Level

Concepts, Methods, and Algorithms

Język AngielskiAngielski
Książka Miękka
Książka Formal Specification Level Mathias Soeken
Kod Libristo: 13633632
Wydawnictwo Springer International Publishing AG, sierpień 2016
This book introduces a new level of abstraction that closes the gap between the textual specificatio... Cały opis
? points 249 b
436.59 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

FABLIAU 2 OPUS 75 PIANO JOSEPH-JOACHIM RAFF Prasa Nuty
common.buy 37.53 zł
Assoziationsregel-Algorithmen fuer Daten mit komplexer Struktur Lars Schmidt-Thieme / Książka Miękka
common.buy 304.81 zł
Photography Inspirations /multilingue DAAB / Książka Miękka
common.buy 368.04 zł
Tanie
Hell's Paradise - Band 1 Yuko Keller / Książka Miękka
common.buy 28.29 zł
Orthographe progressive du francais J-M Robert / Książka Miękka
common.buy 133.98 zł
Pasje Zygmunta Freuda Fromm Erich / Książka Miękka
common.buy 16.85 zł
No lleves hadas al cole PALOMA BORDONS / Książka Miękka
common.buy 40.94 zł
Gruppentraining Wirbelsaulengymnastik. Optimaler Phasenverlauf und Funktionen des Gruppentrainers nach Reiss & Fikenzer Anonym / Książka Miękka
common.buy 57.50 zł
Técnicas generales de laboratorio María Isabel Lorenzo Luque / Książka Miękka
common.buy 205.14 zł
Unterrichtsplanung und Methoden Astrid Kaiser / Książka Miękka
common.buy 72.86 zł
Klassenarbeiten Mathematik 5, m. 1 CD-ROM Martin Gehstein / Książka Miękka
common.buy 122.14 zł

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.§

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Formal Specification Level
Autor Mathias Soeken, Rolf Drechsler
Język Angielski
Oprawa Książka - Miękka
Data wydania 2016
Liczba stron 138
EAN 9783319378824
ISBN 3319378821
Kod Libristo 13633632
Wydawnictwo Springer International Publishing AG
Waga 238
Wymiary 155 x 235 x 8

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Obwody i komponenty elektroniczne
Technika, inżynieria i rolnictwo, procesy przemysłowe > Technika – zagadnienia ogólne > Inżynieria – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Halakhic Man, Authentic Jew Ira Bedzow / Książka Twarda
common.buy 96.14 zł
TOP
Master Your Data with Excel and Power BI Miguel Escobar / Książka Miękka
common.buy 113.51 zł
Journey to the Center of the Earth Jules Verne / Książka Miękka
common.buy 32.61 zł
TOP
Zak George's Dog Training Revolution Zak George / Książka Miękka
common.buy 54.49 zł
Choices - Stories for the Sleepy Reader Henry M. Schmidt / Książka Miękka
common.buy 65.83 zł
C1 Advanced (CAE) 2100 English Vocabulary C1 YAO DAVID YAO / Książka Miękka
common.buy 70.05 zł
The Extended Phenotype Richard Dawkins / Książka Miękka
common.buy 61.31 zł
TOP
Your Next Five Moves Patrick Bet-David / Książka Miękka
common.buy 50.28 zł
Hubble's Universe: 2nd Ed; Greatest Discoveries and Latest Images Terence Dickinson / Książka Twarda
common.buy 129.06 zł
The CSB Study Bible for Women, Hardcover Csb Bibles By Holman / Książka Twarda
common.buy 152.45 zł
The Birds of America John James Audubon / Książka Twarda
common.buy 160.28 zł
Twentieth Century German Art Exhibition Lucy (Courtauld Institute of Art) Wasensteiner / Książka Twarda
common.buy 916.05 zł
TOP
How to Cook That : Crazy Sweet Creations (Chocolate Baking, Pie Baking, Confectionary Desserts, and More) Ann Reardon / Książka Twarda
common.buy 91.63 zł
Sequential Jazz Piano Songs: 26 Easy Favorites Carefully Selected and Arranged in Order of Difficulty Hal Leonard Corp / Książka Miękka
common.buy 57.60 zł
TOP
Carry On Rainbow Rowell / Książka Miękka
common.buy 41.34 zł
TOP
How to Prove It Daniel J. Velleman / Książka Miękka
common.buy 193.60 zł
Tea Dragon Festival ONEILL K / Książka Miękka
common.buy 49.57 zł
LEGO Games Book DK / Książka Twarda
common.buy 66.53 zł
TOP
Adorable Fruits & Vegetables to Crochet Marie Clesse / Książka Miękka
common.buy 56.90 zł
Planets Fiona Watt / Książka Leporelo
common.buy 59.21 zł
Hot British Boyfriend Kristy Boyce / Książka Miękka
common.buy 36.62 zł
Volvo 1944-1968 Workshop Manual PV444, PV544 (P110), P1800, PV445, P122 (P120 & Amazon), P210, P130, P220, 144, 142 & 145 Floyd Clymer / Książka Miękka
common.buy 157.47 zł
Writers and Politics in Germany, 1945-2008 Stuart Parkes / Książka Miękka
common.buy 144.72 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?