Integrated approach to analysis and verification of imperative programs | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2011

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

анализ программ

верификация

программа

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

императивный

Стр.:

P.1-18

Выпуск:

32

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

Bibliogr.: p.17-18

Источник:

Bulletin of the Novosibirsk Computing Center

Карточка:

Б2.2, Б3.15.

Anureev I. S..

Integrated approach to analysis and verification of imperative programs// Bulletin of the Novosibirsk Computing Center-2011.-P.1-18
Bibliogr.: p.17-18

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

PAP31 725