Вы здесь

Главная

Formal Methods: Foundations and Applications: Proc./16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 2013

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2013
Ключевые слова: 
формальный
верификация
model-driven engineering
вероятностный
model checking
тестирование по
темпоральная логика
Стр.: 
243 p.
Редактор: 
Iyoda J.
De Moura L.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
8195
Карточка: 

Б3.54, Б2.2.

Formal Methods: Foundations and Applications: Proc./16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 2013Ed. by Iyoda J., De Moura L..-Berlin.: Springer, 2013.-Vol. 8195.-243 p.-(Lecture Notes in Computer Science).

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