Вы здесь

Главная

Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 2013

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2014
Ключевые слова: 
сети петри
теория типов
поведение
сложная система
формальный метод
управление знаниями
логика
верификация
open sourse software
конструирование
программа
язык программирования
устойчивость системы
Стр.: 
432 p.
Редактор: 
Counsell S.
Nunez M.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
8368
Карточка: 

Б2.2, Б3.5.

Software Engineering and Formal Methods: Revised Selected Papers/SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 2013Ed. by Counsell S., Nunez M..-Berlin.: Springer, 2014.-Vol. 8368.-432 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO10 525