Вы здесь

Главная

Formal Methods for Components and Objects: Revised Papers/11th International Symposium, FMCO 2012, Bertinoro, Italy, September 2012

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2013
Ключевые слова: 
автоматический
гипотеза
сложная система
формальный метод
моделирование
компонент
программное обеспечение
Стр.: 
241 p.
Редактор: 
Giachino E.
Hahnle R.
de Boer F. S.
Bonsangue M. M.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
7866
Карточка: 

Б3.54, Б2.2.

Formal Methods for Components and Objects: Revised Papers/11th International Symposium, FMCO 2012, Bertinoro, Italy, September 2012Ed. by Giachino E., Hahnle R., de Boer F. S., Bonsangue M. M..-Berlin.: Springer, 2013.-Vol. 7866.-241 p.-(Lecture Notes in Computer Science).

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