Integrated Formal Methods
13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
-
- 39,99 $
-
- 39,99 $
От издателя
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.
The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..
ЖАНР
Компьютеры и Интернет
РЕЛИЗ
2017
11 сентября
ЯЗЫК
EN
английский
ОБЪЕМ
459
стр.
ИЗДАТЕЛЬ
Springer International Publishing
ПРОДАВЕЦ
Springer Nature B.V.
РАЗМЕР
9,3
МБ