Formal Methods: Foundations and Applications: Proc./20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 2017 | Мемориальная библиотека А.П. Ершова

Вы здесь

Количество экземпляров:

1

Вид:

Сборник или журнал

Год:

2017

Ключевые слова:

генерация кода

денотационная семантика

формальный метод

глобальная оптимизация

анализ модели

система реального времени

время выполнения

верификация

сервисно-ориентированный

вычисления

верификация по

доказательство теорем

формальная логика

язык программирования

Стр.:

305 p.

Редактор:

Место издания:

Издательство:

Серия:

Lecture Notes in Computer Science

Том:

10623

Карточка:

Formal Methods: Foundations and Applications: Proc./20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 2017Ed. by Cavalheiro S., Fiadeiro J..-Berlin.: Springer, 2017.-Vol. 10623.-305 p.-(Lecture Notes in Computer Science).

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

MONO12 745