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 Kurier 12.99 zł Punkt DPD 11.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
442.95 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Unterrichtsplanung und Methoden Astrid Kaiser / Książka Miękka
common.buy 73.92 zł
Photography Inspirations /multilingue DAAB / Książka Miękka
common.buy 372.89 zł
Carmen à 1,55 euros Prosper Mérimée / Książka Miękka
common.buy 16.18 zł
National-Sozialer Katechismus: Erklarung Der Grundlinien Des National-Sozialen Vereins Friedrich Naumann / Książka Miękka
common.buy 70.05 zł
de L'Esprit Des Lois V4 (1784) Charles De Secondat Montesquieu / Książka Twarda
common.buy 176.67 zł
Tanie
Hell's Paradise - Band 1 Yuko Keller / Książka Miękka
common.buy 28.71 zł
Orthographe progressive du francais J-M Robert / Książka Miękka
common.buy 135.42 zł
Pasje Zygmunta Freuda Fromm Erich / Książka Miękka
common.buy 18.32 zł
No lleves hadas al cole PALOMA BORDONS / Książka Miękka
common.buy 41.74 zł
Assoziationsregel-Algorithmen fuer Daten mit komplexer Struktur Lars Schmidt-Thieme / Książka Miękka
common.buy 309.05 zł
Gruppentraining Wirbelsaulengymnastik. Optimaler Phasenverlauf und Funktionen des Gruppentrainers nach Reiss & Fikenzer Anonym / Książka Miękka
common.buy 58.34 zł
Técnicas generales de laboratorio María Isabel Lorenzo Luque / Książka Miękka
common.buy 207.62 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 95.30 zł
History of the French Revolution, Volume 1 Heinrich Von Sybel / Książka Miękka
common.buy 132.06 zł
Hubble's Universe: 2nd Ed; Greatest Discoveries and Latest Images Terence Dickinson / Książka Twarda
common.buy 130.94 zł
TOP
The Extended Phenotype Richard Dawkins / Książka Miękka
common.buy 64.35 zł
TOP
Master Your Data with Excel and Power BI Miguel Escobar / Książka Miękka
common.buy 115.16 zł
Twentieth Century German Art Exhibition Lucy (Courtauld Institute of Art) Wasensteiner / Książka Twarda
common.buy 1 030.92 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 58.44 zł
Carry On Rainbow Rowell / Książka Miękka
common.buy 41.94 zł
TOP
How to Prove It Daniel J. Velleman / Książka Miękka
common.buy 198.56 zł
LEGO Games Book DK / Książka Twarda
common.buy 67.50 zł
TOP
Adorable Fruits & Vegetables to Crochet Marie Clesse / Książka Miękka
common.buy 51.92 zł
Planets Fiona Watt / Książka Leporelo
common.buy 59.87 zł
The CSB Study Bible for Women, Hardcover Csb Bibles By Holman / Książka Twarda
common.buy 152.63 zł
Hot British Boyfriend Kristy Boyce / Książka Miękka
common.buy 37.16 zł
The World I Fell Into: What Breaking My Neck Taught Me about Life Melanie Reid / Książka Miękka
common.buy 75.85 zł
Tea Dragon Festival ONEILL K / Książka Miękka
common.buy 53.65 zł
How to Cook That : Crazy Sweet Creations (Chocolate Baking, Pie Baking, Confectionary Desserts, and More) Ann Reardon / Książka Twarda
common.buy 88.68 zł
TOP
Your Next Five Moves Patrick Bet-David / Książka Miękka
common.buy 51.01 zł
C1 Advanced (CAE) 2100 English Vocabulary C1 YAO DAVID YAO / Książka Miękka
common.buy 71.07 zł
Adobe Illustrator Classroom in a Book (2022 release) Brian Wood / Książka Miękka
common.buy 229.62 zł
Bloodmarked Tracy Deonn / Książka Twarda
common.buy 62.21 zł
The Birds of America John James Audubon / Książka Twarda
common.buy 162.61 zł
The Kama Sutra Colouring Book DK / Książka Miękka
common.buy 35.53 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?