Вы здесь
Representing, Verifying and Applying Software Development Steps using the PVS System
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
1995
Ключевые слова:
Стр.:
P.431-445
Библиография:
Bibliogr.: p.443
Место издания:
Издательство:
Том:
936
Карточка:
Б3.52, Б3.54.
Dold A..
Representing, Verifying and Applying Software Development Steps using the PVS System-Berlin, Heidelberg.: Springer// Algebraic Methodology and Software Technology, 1995.-Vol. 936.-P.431-445-(Lecture Notes in Computer Science).
Bibliogr.: p.443
Таблица в старой библиотеке:
PAP12 778