Вы здесь

Главная

Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 2017

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2018
Ключевые слова: 
компьютерная сеть
кибер-физическая система
безопасность данных
распределенная система
вычислительная система
встроенная система
формальный метод
теория графов
человек-компьютер
взаимодействие
машинное обучение
model checking
сети петри
разработка по
телекоммуникационные сети
доказательство теорем
вездесущие вычисления
Стр.: 
592 p.
Редактор: 
Cerone A.
Roveri M.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
10729
Карточка: 

Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 2017Ed. by Cerone A., Roveri M..-Berlin.: Springer, 2018.-Vol. 10729.-592 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO12 800