Вы здесь

Главная

Testing Software and Systems: Proc./25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 2013

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2013
Ключевые слова: 
распределенная система
человек-машина
интерфейс
model checking
временная система
использование
аргумент
Стр.: 
291 p.
Редактор: 
Yenigum H.
Yilmaz C.
Ulrich A.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
8254
Карточка: 

Б3.54, А3.5.

Testing Software and Systems: Proc./25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 2013Ed. by Yenigum H., Yilmaz C., Ulrich A..-Berlin.: Springer, 2013.-Vol. 8254.-291 p.-(Lecture Notes in Computer Science).

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