Deductive formal verification of search programs in arrays of arbitrary size for abstract register machines | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Nepomniaschy V. A.

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

1

Вид:

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

Год:

2014

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

абстрактная машина

программный

формальная спецификация

интерактивный

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

система верификации

Стр.:

P.71-91

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

Bibliogr.: p.90-91

Издательство:

Источник:

Bulletin of the Novosibirsk Computing Center

Номер:

37

Карточка:

Б2.2, Б2.11.

Chkliaev D. A., Nepomniaschy V. A..

Deductive formal verification of search programs in arrays of arbitrary size for abstract register machines: Springer// Bulletin of the Novosibirsk Computing Center-2014, №37.-P.71-91
Bibliogr.: p.90-91

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

ISI3 370