Вы здесь

Главная

Formal Methods: FM 2019 International Workshops, Part I: Revised Selected Papers/Porto, Portugal, October 2019

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2020
Ключевые слова: 
формальная верификация
верификация по
доказательный
программа
объектно-ориентированное программирование
формальная логика
образование
символьный
алгебраический
манипуляция
интерактивный дизайн
формальный метод
теория безопасности
встроенная система
program reasoning
Стр.: 
523 p.
Редактор: 
Sekerinski E.
Moreira N.
Oliveira J. N.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Источник: 
21016
Том: 
12232
Карточка: 

Formal Methods: FM 2019 International Workshops, Part I: Revised Selected Papers/Porto, Portugal, October 2019Ed. by Sekerinski E., Moreira N., Oliveira J. N..-Berlin.: Springer, 2020.-Vol. 12232.-523 p.-(Lecture Notes in Computer Science).