Integrated Formal Methods [electronic resource] : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings / edited by Nadia Polikarpova, Steve Schneider.
Вид матеріалу:
Текст Серія: Programming and Software Engineering ; 10510Публікація: Cham : Springer International Publishing : Imprint: Springer, 2017Видання: 1st ed. 2017Опис: XXI, 438 p. 109 illus. online resourceТип вмісту: - text
- computer
- online resource
- 9783319668451
- Software engineering
- Programming languages (Electronic computers)
- Computers
- Computer organization
- Artificial intelligence
- Software Engineering
- Programming Languages, Compilers, Interpreters
- Theory of Computation
- Computer Systems Organization and Communication Networks
- Artificial Intelligence
- The Computing Profession
- 005.1 23
- QA76.758
ЕКнига
Списки з цим бібзаписом:
Springer Ebooks (till 2020 - Open Access)+(2017 Network Access))
|
Springer Ebooks (2017 Network Access))
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.
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/
Немає коментарів для цієї одиниці.