Вы здесь

Главная

Formal Methods: Foundations and Applications: Proc./21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 2018

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2018
Ключевые слова: 
формальная логика
формальный метод
функциональное программирование
model checking
компиляция
язык программирования
разработка по
спецификация
верификация
Стр.: 
271 p.
Редактор: 
Massoni T.
Mousavi M. R.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
11254
Карточка: 

Formal Methods: Foundations and Applications: Proc./21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 2018/Ed. by Massoni T., Mousavi M. R..-Berlin.: Springer, 2018.-Vol. 11254.-271 p.-(Lecture Notes in Computer Science).