Вы здесь

Главная

Formal Methods for Components and Objects: Revised Lectures/5th International Symposium, FMCO 2006. Amsterdam, The Netherlands, November 2006

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2008
Ключевые слова: 
формальный метод
технология программирования
компонент
тестирование
верификация
модель вычислений
распределенное программирование
Стр.: 
297 p.
Редактор: 
de Boer F. S.
Bonsangue M. M.
Graf S.
De Roever W. -P.
Место издания: 
Berlin
Heidelberg
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
4709
Карточка: 

Б2.2, Б3.5.

Formal Methods for Components and Objects: Revised Lectures/5th International Symposium, FMCO 2006. Amsterdam, The Netherlands, November 2006Ed. by de Boer F. S., Bonsangue M. M., Graf S., De Roever W. -P..-Berlin, Heidelberg.: Springer, 2008.-Vol. 4709.-297 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO7 62