Верификация С-программ на основе смешанной аксиоматической семантики | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Ануреев И. С.

Марьясов И. В.

Непомнящий В. А.

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

1

Вид:

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

Год:

2010

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

верификация

программа

операционная семантика

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

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

Стр.:

С.5-28

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

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

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

Ярославль

Источник:

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

Номер:

3

Том:

17

Карточка:

Б2.23.

Ануреев И. С., Марьясов И. В., Непомнящий В. А..

Верификация С-программ на основе смешанной аксиоматической семантики-Ярославль.// Моделирование и анализ информационных систем, 2010, №3.-Vol. 17.-С.5-28
Библиогр.: c.27

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

ISI3 145