Вы здесь
Формальные спецификации в технологиях обратной инженерии и верификации программ
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2000
Ключевые слова:
Стр.:
С.35-47
Библиография:
Библиогр.: c.47
Место издания:
Карточка:
Б3.5.
Бурдонов И. Б., Демаков А. В., Косачев А. С., Максимов А. В., Петренко А. К..
Формальные спецификации в технологиях обратной инженерии и верификации программ-Москва.// Труды Института системного программирования, 1999 г., 2000.-С.35-47
Библиогр.: c.47
Таблица в старой библиотеке:
PAP23 326