Interactive Theorem Proving: Proc./7th International Conference, ITP 2016, Nancy, France, August 2016 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2016

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

интерактивный

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

программная верификация

безопасность

математический

формализация

приложение

Стр.:

502 p.

Редактор:

Blanchette J. C.

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

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

Серия:

Lecture Notes in Computer Science

Том:

9807

Карточка:

Interactive Theorem Proving: Proc./7th International Conference, ITP 2016, Nancy, France, August 2016Ed. by Blanchette J. C., Merz S..-Berlin.: Springer, 2016.-Vol. 9807.-502 p.-(Lecture Notes in Computer Science).

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

MONO12 10