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 Modeling and Analysis of Timed Systems

Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Formal Modeling and Analysis of Timed Systems Paul Pettersson
Kod Libristo: 01561527
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, grudzień 2005
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference... Cały opis
? points 125 b
224.22 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Grimorium Verum und der Schlussel der Weisheit Christian Eibenstein / Książka Miękka
common.buy 47.36 zł
FERMIN DESAGERTU EGIN DA CAMINO Książka Miękka
common.buy 24.24 zł
Los libros de Ollumarh SALCEDO / Książka Miękka
common.buy 141.90 zł
Les Oiseaux - Tome 90 Aristophane / Książka Miękka
common.buy 57.95 zł
Tanie
Minecraft kostým Steve 10-12 let / Gra/Zabawka Zabawka
common.buy 137.90 zł
Desítka her Milan Uhde / Książka Twarda
common.buy 29.38 zł
600 tests de recrutement Minette / Książka Miękka
common.buy 103.16 zł
Impacto de recomendacoes e informacoes contabeis na tomada de decisao Mariana Almeida Ribeiro / Książka Miękka
common.buy 212.50 zł
Ágilmente: ejercicios mentales. Naranja Serrano Íñiguez / Książka Twarda
common.buy 18.79 zł
El origen de los delitos : introducción al estudio y explicación de la criminalidad SANTIAGO REDONDO ILLESCAS / Książka Miękka
common.buy 153.72 zł
Die Templerin Wolfgang Hohlbein / Książka Miękka
common.buy 39.66 zł
Synkopa Peter Mitro / Książka Twarda
common.buy 44.28 zł

This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2005, held in Uppsala, Sweden in September 2005 in conjunction with ARTIST2 summer school on Component Modelling, Testing and Verification, and Static analysis of embedded systems.§The 19 revised full papers presented together with the abstracts of 3 invited talks were carefully selected from 43 submissions. The papers cover work on semantics and modeling of timed systems, formalisms for modeling and verification including timed automata, hybrid automata, and timed petri nets, games for verification and synthesis, model-checking, case studies and issues related to implementation, security and performance analysis.

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 Modeling and Analysis of Timed Systems
Autor Paul Pettersson, Wang Yi
Język Angielski
Oprawa Książka - Miękka
Data wydania 2005
Liczba stron 305
EAN 9783540309468
ISBN 3540309462
Kod Libristo 01561527
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 1000
Wymiary 155 x 235 x 18

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Systemy ekspertowe / Systemy oparte na wiedzy
Matematyka i nauki ścisłe > Matematyka > Matematyka stosowana
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
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ć

101 Men and Still Alone Marilyn Marsh / E-book Adobe ePub DRM
common.buy 45.00 zł
Mother's of Destiny Vernell Davis / Książka Miękka
common.buy 44.79 zł
Venice Russell Norman / Książka Twarda
common.buy 137.38 zł
Drama Unsung Jennifer Jamelli / Książka Miękka
common.buy 64.42 zł
Growth of Truth as Illustrated in the Discovery of the Circulation of the Blood William Osler / Książka Twarda
common.buy 116.73 zł
Hermes and the Horse with Wings Tracey West / Książka Miękka
common.buy 30.30 zł
The Boy And The Birds (1837) Emily Taylor / Książka Miękka
common.buy 104.40 zł
Out on a Limb: Short Plays by New Playwrights Kit Brennan / Książka Miękka
common.buy 90.52 zł
For Sully's Sake Harris P Jameson / Książka Miękka
common.buy 65.66 zł
MISS MOCCASINS MARAH ELLIS RYAN / Książka Miękka
common.buy 137.18 zł
From Alfred to Henry III, 871-1272 Christopher Brooke / Książka Miękka
common.buy 91.86 zł
Charley's War - 1914-2014 Pat Mills / Książka Twarda
common.buy 245.70 zł
James Marston Fitch James Marston Fitch / Książka Miękka
common.buy 111.18 zł
Somatosensory Mechanisms Curt Von Euler / Książka Miękka
common.buy 224.22 zł
Slave Catching In The Indian Ocean: A Record Of Naval Experiences (1873) Philip Howard Colomb / Książka Miękka
common.buy 186.50 zł
Institutions and the Economy Francesco Duina / Książka Twarda
common.buy 281.46 zł
Biocomposite and Synthetic Composites for Automotive Applications R. A. Ilyas / Książka Miękka
common.buy 1 232.83 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?