Вы здесь

Главная

SDL 2011 - Integrating System and Software Modeling: Revised Papers/15th International SDL Forum, Toulouse, France, July 2011

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2011
Ключевые слова: 
domain-specific language
интегрированный
тестирование
верификация
model checking
язык моделирования
генерация тестов
Стр.: 
277 p.
Редактор: 
Ober Iu.
Ober Il.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
7083
Карточка: 

Б2.2, Б3.54, Б3.1.

SDL 2011 - Integrating System and Software Modeling: Revised Papers/15th International SDL Forum, Toulouse, France, July 2011Ed. by Ober Iu., Ober Il..-Berlin.: Springer, 2011.-Vol. 7083.-277 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO9 174