Контроль динамической семантики предикатной программы | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Каблуков И. В.

Шелехов В. И.

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

1

Колл. автор:

ИСИ СО РАН

Вид:

Препринт

Год:

2012

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

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

динамический

семантика

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

корректность

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

Стр.:

28 с.

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

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

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

Новосибирск

Серия:

Lecture Notes in Bioinformatics

Номер:

162

Карточка:

Б3.2.

Каблуков И. В., Шелехов В. И..

Контроль динамической семантики предикатной программы-Новосибирск., 2012.-28 с.-(Препринт ИСИ СО РАН №162).-(Lecture Notes in Bioinformatics).
Библиогр.: c.28

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

ISI3 236