Генерация и доказательство условий корректности предикатных программ | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Чушкин М. С.

Шелехов В. А.

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

1

Колл. автор:

ИСИ СО РАН

Вид:

Препринт

Год:

2012

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

предикатное программирование

генерация

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

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

Стр.:

49 с.

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

Библиогр.: c.39-40

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

Новосибирск

Номер:

166

Карточка:

Б3.52.

Чушкин М. С., Шелехов В. А..

Генерация и доказательство условий корректности предикатных программ-Новосибирск., 2012.-49 с.-(Препринт ИСИ СО РАН №166).
Библиогр.: c.39-40

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

ISI3 283