Вы здесь

Главная

Testing Software and Systems: Proc./30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 2018

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2018
Ключевые слова: 
теория автоматов
конечный автомат
оборудование
разработка по
спецификация
вездесущие вычисления
пользовательский интерфейс
формальный метод
моделирование
программное обеспечение
Стр.: 
171 p.
Редактор: 
Medina-Bulo I.
Merayo M. G.
Hierons R. M.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
11146
Карточка: 

Testing Software and Systems: Proc./30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 2018Ed. by Medina-Bulo I., Merayo M. G., Hierons R. M..-Berlin.: Springer, 2018.-Vol. 11146.-171 p.-(Lecture Notes in Computer Science).