phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł DPD 25.99 zł ORLEN Paczka 10.99 zł
phone Kontakt phoneJak kupować

Specification, Modelling, Verification and Runtime Analysis of Real Time Systems

Język AngielskiAngielski
Książka Miękka
Książka Specification, Modelling, Verification and Runtime Analysis of Real Time Systems Georgios Logothetis
Kod Libristo: 08746908
Wydawnictwo IOS PRESS, kwiecień 2004
This book focuses on the use of formal methods in order to guarantee the correctness of real-time sy... Cały opis
? points 190 b
323.20 zł
Dostępna u dostawcy Wysyłamy za 15-20 dni
Polska common.delivery_to

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

What! Do You Think God Hates You? W D Taylor / Miękka
common.buy 60.71 zł
Innocents Born Heeathe Goad / Miękka
common.buy 104.53 zł
I Remember You Michael Culross / Miękka
common.buy 71.61 zł
Mystical Connection Hermaneli M D Torrevillas / Twarda
common.buy 175.55 zł
Ignoring Poverty in the U.S. P. L. Thomas / Twarda
common.buy 499.46 zł
Window To My Soul Amethyst A Nelson-Preston / Miękka
common.buy 87.92 zł
Now That You Are Awake Gordon Bruce Waldie / Miękka
common.buy 87.92 zł
Medical Abbreviations and Other Interpretive Tools Jeevan Hingorani / Miękka
common.buy 70.71 zł
Magazine of Natural History Anonymous / Twarda
common.buy 208.86 zł
Ueber Den Spannungszustand Einseitig Aufgebrachter Laschen Im Bau Von Zellstoffkochern Ernst Hohn / Miękka
common.buy 285.69 zł
Welcome to the Book of Common Prayer Vicki K. Black / Miękka
common.buy 72.62 zł
Price of Enlightenment John Trethewey / Miękka
common.buy 96.12 zł

This book focuses on the use of formal methods in order to guarantee the correctness of real-time systems. For this purpose, the formal framework Equinox is introduced, which allows the specification, modeling, verification and runtime analysis of real-tim

Informacje o książce

Pełna nazwa Specification, Modelling, Verification and Runtime Analysis of Real Time Systems
Autor Georgios Logothetis
Język Angielski
Oprawa Książka - Miękka
Data wydania 2004
Liczba stron 202
EAN 9781586034139
ISBN 9781586034139
Kod Libristo 08746908
Wydawnictwo IOS PRESS
Waga 300
Wymiary 148 x 210 x 10

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Inżynieria mechaniczna i materiałowa > Inżynieria mechaniczna
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

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