Вы здесь

Главная

Formal Methods and Testing: Revised Selected Papers/An Outcome of the FOREST Network

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2008
Ключевые слова: 
формальный метод
тестирование
распределенная система
критерий
эффективность
моделирование
технология программирования
Стр.: 
367 p.
Редактор: 
Hierons R. M.
Bowen J. P.
Harmann M.
Место издания: 
Berlin
Heidelberg
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
4949
Карточка: 

Б2.2, Б3.5.

Formal Methods and Testing: Revised Selected Papers/An Outcome of the FOREST NetworkEd. by Hierons R. M., Bowen J. P., Harmann M..-Berlin, Heidelberg.: Springer, 2008.-Vol. 4949.-367 p.-(Lecture Notes in Computer Science).

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