Mohlo by sa vám tiež páčiť

Viac informácií o knihe Formal Modeling and Analysis of Timed Systems

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 154 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Human-computer interaction

• Celý názov: Formal Modeling and Analysis of Timed Systems
• Autor: Alessandro Abate, Gilles Geeraerts
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 353
• EAN: 9783319657646
• ISBN: 331965764X
• ID: 16771796
• Nakladateľ: Springer International Publishing AG
• Hmotnosť: 5504 g
• Rozmery: 235 × 155 × 22 mm
• Dátum vydania: 03. August 2017

Obľúbené z iného súdka

---

---

---