Experiences with Software Specification and Verification Using LP, the Larch Proof Assistant | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1992

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

программное обеспечение

спецификация

верификация

Стр.:

69 p.

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

Bibliogr.: p.67-69

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

Номер:

93

Карточка:

Б3.54, Б2.23.

Broy M..

Experiences with Software Specification and Verification Using LP, the Larch Proof Assistant-Palo Alto., 1992.-69 p.-(Препринт Digital №93).
Bibliogr.: p.67-69

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

PREP2 695