Integrated Formal Methods: Proc./14th International Conference, IFM 2018, Maynooth, Ireland, September 2018 | Мемориальная библиотека А.П. Ершова

Вы здесь

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

1

Вид:

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

Год:

2018

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

компьютерный

архитектура

безопасность данных

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

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

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

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

семантика

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

спецификация

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

верификация

Стр.:

420 p.

Редактор:

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

Том:

11023

Карточка:

Integrated Formal Methods: Proc./14th International Conference, IFM 2018, Maynooth, Ireland, September 2018Ed. by Furia C. A., Winter K..-Berlin., 2018.-Vol. 11023.-420 p.