Structured Object-Oriented Formal Language and Method: Revised Selected Papers/7th International Workshop, SOFL+MSVL 2017, Xi an, China, November 2017 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2018

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

верификация

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

искусственный интеллект

разработка по

решение проблем

семантика

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

формальная спецификация

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

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

Стр.:

219 p.

Редактор:

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

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

Серия:

Lecture Notes in Computer Science

Том:

10795

Карточка:

Structured Object-Oriented Formal Language and Method: Revised Selected Papers/7th International Workshop, SOFL+MSVL 2017, Xi an, China, November 2017Ed. by Tian C., Nagoya F., Liu S., Duan Zh..-Berlin.: Springer, 2018.-Vol. 10795.-219 p.-(Lecture Notes in Computer Science).

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

NOVPOS1 3