Verification of Proofs for the B Formal Development Process | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1993

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

верификация

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

программный

средства

распознавание образов

Стр.:

P.16-21.

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

Bibliogr.: p.21.

Источник:

SIGPLAN Notices

Номер:

11

Том:

28

Карточка:

Б3.54.

Dehbonei B., Mejia F..

Verification of Proofs for the B Formal Development Process// SIGPLAN Notices-1993, №11.-Vol. 28.-P.16-21.
Bibliogr.: p.21.

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

ACM3 260