Вы здесь
Formal Specifications in Reverse Engineering and Software Verification
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2000
Ключевые слова:
Стр.:
P.61-83
Библиография:
Bibliogr.: p.82-83
Место издания:
Издательство:
Том:
1
Карточка:
Б3.51, Б3.54.
Bourdonov I. B., Demakov A. V., Kossatchev A. S., Maksimov A. V., Petrenko A. K..
Formal Specifications in Reverse Engineering and Software Verification-Moscow.: Springer// Proceedings of Institute for System Programming, 2000.-Vol. 1.-P.61-83
Bibliogr.: p.82-83
Таблица в старой библиотеке:
PAP22 368