Разработка самоприменимой системы верификации. Теория и практика | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Кондратьев Д. А.

Промский А. В.

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

1

Вид:

Статья из сборника или журнала

Год:

2014

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

верификация

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

аксиоматическая семантика

условие корректности

метагенерация

Стр.:

С.71-82

Библиография:

Библиогр.: c.81

Источник:

Моделирование и анализ информационных систем

Номер:

6

Том:

21

Карточка:

Б3.54.

Кондратьев Д. А., Промский А. В..

Разработка самоприменимой системы верификации. Теория и практика// Моделирование и анализ информационных систем-2014, №6.-Vol. 21.-С.71-82
Библиогр.: c.81

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

PAP31 914