Вы здесь

Главная

Leveraging Applications of Formal Methods, Virification and Validation: Technologies for Mastering Change, Part I: Proc./6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 2014

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2014
Ключевые слова: 
автоматический
разработка по
автоматическая система
моделирование
бизнес-процесс
генерация кода
domain-specific language
ансамблевые вычисления
тестирование
model-based
model checking
операционная семантика
прототипирование
robot swarms
производственная линия
software product line
временной автомат
верификация
Стр.: 
547 p.
Редактор: 
Margaria T.
Steffen B.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
8802
Карточка: 

Leveraging Applications of Formal Methods, Virification and Validation: Technologies for Mastering Change, Part I: Proc./6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 2014Ed. by Margaria T., Steffen B..-Berlin.: Springer, 2014.-Vol. 8802.-547 p.-(Lecture Notes in Computer Science).

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