Formal Modeling and Analysis of Timed Systems [electronic resource] : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings / edited by Alessandro Abate, Gilles Geeraerts.
Вид матеріалу:
Текст Серія: Theoretical Computer Science and General Issues ; 10419Публікація: Cham : Springer International Publishing : Imprint: Springer, 2017Видання: 1st ed. 2017Опис: X, 353 p. 93 illus. online resourceТип вмісту: - text
- computer
- online resource
- 9783319657653
- Algorithms
- Software engineering
- Programming languages (Electronic computers)
- Computer simulation
- Computer logic
- Mathematical logic
- Algorithm Analysis and Problem Complexity
- Software Engineering
- Programming Languages, Compilers, Interpreters
- Simulation and Modeling
- Logics and Meanings of Programs
- Mathematical Logic and Formal Languages
- 005.1 23
- QA76.9.A43
ЕКнига
Списки з цим бібзаписом:
Springer Ebooks (till 2020 - Open Access)+(2017 Network Access))
|
Springer Ebooks (2017 Network Access))
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.
Available to subscribing member institutions only. Доступно лише організаціям членам підписки.
Online access from local network of NaUOA.
Online access with authorization at https://link.springer.com/
Онлайн-доступ з локальної мережі НаУОА.
Онлайн доступ з авторизацією на https://link.springer.com/
Немає коментарів для цієї одиниці.