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 74 Kč Zásilkovna 49 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 Alessandro Abate
Libristo kód: 16771796
Nakladatelství Springer International Publishing AG, srpna 2017
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeli... Celý popis
? points 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

Poptropica English Level 4 Audio CD BEDDALL FIONA / Audio
common.buy 1 364 Kč
Report of the Committee Appointed by the Conference of Counsel for Railroad Companies Held at Atlantic City, July 13, 14, 15, 1908. Multiple Contributors / Brožovaná
common.buy 403 Kč
EARLY ORGANIZED CRIME IN DETRO James Buccellato / Pevná
common.buy 664 Kč
Prince or Chauffeur? Lawrence Perry / Brožovaná
common.buy 568 Kč
Fifty Years of Prison Service: An Autobiography. Z R Brockway / Brožovaná
common.buy 992 Kč
Les Heros de la Decadence Nationale Guillemin-E / Brožovaná
common.buy 517 Kč
Bir Delinin Mal Beyani Metin Üstündag / Brožovaná
common.buy 254 Kč
Kraken Len Jenkin / Brožovaná
common.buy 441 Kč
The Advaita Life Practice: Balancing Relationships, Work & Money in the Twenty-First Century: Balancing Your Inner Dynamics for External Success Jayant Kalawar / Brožovaná
common.buy 275 Kč

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. 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 interests in modelling and analysis of timed systems and, as a generalization, hybrid systems.

Informace o knize

Plný název Formal Modeling and Analysis of Timed Systems
Autor Alessandro Abate, Gilles Geeraerts
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2017
Počet stran 353
EAN 9783319657646
ISBN 331965764X
Libristo kód 16771796
Nakladatelství Springer International Publishing AG
Váha 5504
Rozměry 155 x 235 x 22

Kategorie

Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Design uživatelského rozhraní a použitelnost
Výpočetní a informační technologie > Grafické a digitální mediální aplikace > Počítačová 3D grafika a modelování
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ů
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