Вы здесь
A Program Verification System Bazed on Oz
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2005
Стр.:
P.41-52
Библиография:
Bibliogr.: p.52
Место издания:
Источник:
Том:
3389
Карточка:
Б2.23, Б3.1.
Dony I., Le Charlier B..
A Program Verification System Bazed on Oz-Berlin, Heidelberg.// Lecture Notes in Computer Science, 2005.-Vol. 3389.-P.41-52-(Lecture Notes in Computer Science).
Bibliogr.: p.52
Таблица в старой библиотеке:
PAP29 900