Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Formal Techniques in Real-Time and Fault-Tolerant Systems
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book constitutes the refereed proceedings of the 7th International Symposium on Formal Techniqu...
Celý popis
Libristo kód: 01564611
?
154 b
154 b
1 540
Kč
včetně DPH
Skladem u dodavatele v malém množství
Odesíláme za 13-16 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
This book constitutes the refereed proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2002, held in Oldenburg, Germany, in September 2002.The 17 revised full papers presented together with 2 invited tutorials and 6 invited papers were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on synthesis and scheduling, timed automata, bounded model checking, verification and conformance testing, and UML models and model checking.
Informace o knize
Plný název
Formal Techniques in Real-Time and Fault-Tolerant Systems
Autor
Werner Damm, Ernst-Rüdiger Olderog
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2002
Počet stran
462
EAN
9783540441656
ISBN
3540441654
Libristo kód
01564611
Nakladatelství
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha
1450
Rozměry
155 x 235 x 26
Kategorie
Výpočetní a informační technologie
>
Informatika
>
Umělá inteligence
>
Expertní systémy/systémy založené na znalostech
Technologie, strojírenství, zemědělství
>
Elektronické a komunikační inženýrství
>
Elektrotechnické inženýrství
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ě
