phone 571 999 090
LIBRISTO 0
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 64 Kč PPL 99 Kč Zásilkovna 54 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 Krishnendu Chatterjee
Libristo kód: 01656493
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpna 2010
This book constitutes the proceedings of the 8th International Conference on Formal Modeling and Ana... Celý popis
? points 170 b
1 702 Kč
Skladem u dodavatele Odesíláme za 9-13 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Encyclopedia of the History of Astronomy and Astrophysics David Leverington / Pevná
common.buy 1 930 Kč
Gut Gegen Nordwind Daniel Glattauer / Pevná
common.buy 456 Kč
Engineering the Channel Tunnel / Pevná
common.buy 9 095 Kč
Handbuch der Mechanischen Verfahrenstechnik Heinrich Schubert / Pevná
common.buy 18 718 Kč
Expanding World of Chemical Engineering S. Furusaki / Brožovaná
common.buy 3 212 Kč
Meine besten Geschichten als Landhebamme Rosalie Linner / Pevná
common.buy 637 Kč
Field Guide to the Information Commons Charles Forrest / Brožovaná
common.buy 3 276 Kč
Britische Arbeitsbeziehungen Irene Dingeldey / Brožovaná
common.buy 1 235 Kč
Edinburgh Travel Guide 2015 Jack M Hirschman / Brožovaná
common.buy 421 Kč
Materials Science in Static High Magnetic Fields Kazuo Watanabe / Pevná
common.buy 3 313 Kč
Chemielaborant/-in / List
common.buy 709 Kč

This book constitutes the proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2010, held in Klosterneuburg, Austria in September 2010. §The 14 papers presented were carefully reviewed and selected from 31 submissions. In addition, the volume contains 3 invited talks and 2 invited tutorials.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share an interest in the modeling and analysis of timed systems. Typical topics include foundations and semantics, methods and tools, and applications.

Informace o knize

Plný název Formal Modeling and Analysis of Timed Systems
Autor Krishnendu Chatterjee, Thomas A. Henzinger
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2010
Počet stran 257
EAN 9783642152962
ISBN 3642152961
Libristo kód 01656493
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 408
Rozměry 155 x 239 x 15

Kategorie

Odborná, informační a interdisciplinární témata > Výzkum a informace: obecně > Informační teorie > Kybernetika a teorie systémů
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
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 > Teorie algoritmů
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