Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
PPL 99 Kč
Zásilkovna 54 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
PPL 99 Kč
Zásilkovna 54 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
Temporal Logic
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICT...
Celý popis
Libristo kód: 05274404
?
331 b
331 b
3 313
Kč
Skladem u dodavatele v malém množství
Odesíláme za 14-18 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
/
Brožovaná
4 798
Kč
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers.
Informace o knize
Plný název
Temporal Logic
Autor
Dov M. Gabbay, Hans J. Ohlbach
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
1994
Počet stran
551
EAN
9783540582410
ISBN
354058241X
Libristo kód
05274404
Nakladatelství
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha
1740
Rozměry
155 x 235 x 31
