Вы здесь
Program Debugging and Validation Using Semantic Approximations and Partial Specifications
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2002
Ключевые слова:
Стр.:
P.69-72
Библиография:
Bibliogr.: p.71-72
Издательство:
Источник:
Том:
2380
Карточка:
Б3.54.
Hermenegildo M., Puebla G., Bueno F., Lopez-Garcia P..
Program Debugging and Validation Using Semantic Approximations and Partial Specifications: Springer// Lecture Notes in Computer Science-2002.-Vol. 2380.-P.69-72
Bibliogr.: p.71-72
Таблица в старой библиотеке:
PAP25 316