Вы здесь

Главная

Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 2014

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2015
Ключевые слова: 
формальный метод
разработка по
человеко-ориентированный
метод
гибкий
договор
qos
промышленный
приложение
open sourse software
сертификация
безопасность
практический
использование
управление знаниями
Стр.: 
405 p.
Редактор: 
Canal C.
Idani A.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
8938
Карточка: 

Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 2014Ed. by Canal C., Idani A..-Berlin.: Springer, 2015.-Vol. 8938.-405 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO11 124