phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Formal Modeling and Analysis of Timed Systems

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Modeling and Analysis of Timed Systems Eugene Asarin
Libristo kód: 01564776
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, září 2006
This book constitutes the refereed proceedings of the 4th International Conference on Formal Modelin... Celý popis
? points 147 b
1 472 Kč
Skladem u dodavatele v malém množství Odesíláme za 10-14 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Color John Rohrbach / Pevná
common.buy 2 060 Kč
Der Böse steht noch einmal auf ... und andere Klischees aus Hollywood-Filmen Christian G. Salis / Brožovaná
common.buy 300 Kč
ESSperimente 3. Bd.3 Sieglinde Mertlitz / Pevná
common.buy 327 Kč
Schulpastoral an berufsbildenden Schulen des dualen Schulsystems Markus Seibt / Brožovaná
common.buy 767 Kč
Unlikely Liberal Matthew Zencey / Pevná
common.buy 493 Kč
Unter Javas Tropensonne Louis Couperus / Brožovaná
common.buy 735 Kč
Lion Joseph Kessel / Brožovaná
common.buy 289 Kč
Umbruch der internationalen Leasingbilanzierung Matthias Wos / Brožovaná
common.buy 967 Kč

This book constitutes the refereed proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2006. The book presents 22 revised full papers presented together with 3 invited talks. Coverage includes work on foundations and semantics of timed systems including timed automata, timed Petri nets, timed MSCs, hybrid automata, timed process algebra, timed temporal logics, timed abstract state machines, as well as probabilistic models.

Informace o knize

Plný název Formal Modeling and Analysis of Timed Systems
Autor Eugene Asarin, Patricia Bouyer
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2006
Počet stran 372
EAN 9783540450269
ISBN 3540450262
Libristo kód 01564776
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1200
Rozměry 155 x 235 x 21

Kategorie

Výpočetní a informační technologie > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech
Matematika a věda > Matematika > Aplikovaná matematika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
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

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