Вы здесь

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