Вы здесь

Главная

Formal Methods: Proc./24th International Symposium, FM 2021, Virtual Event, November 2021

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2021
Ключевые слова: 
model checking
формальный язык
формальный метод
формальная логика
формальная верификация
объектно-ориентированное программирование
язык программирования
качество по
теоретическое программирование
верификация
легализация
theoretical computer science
Стр.: 
800 p.
Редактор: 
Huisman M.
Pasareanu C.
Zhan N.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
13047
Карточка: 

Formal Methods: Proc./24th International Symposium, FM 2021, Virtual Event, November 2021Ed. by Huisman M., Pasareanu C., Zhan N..-Berlin.: Springer, 2021.-Vol. 13047.-800 p.-(Lecture Notes in Computer Science).