Вы здесь
Automatic Software Model Checking Using CLP
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2003
Ключевые слова:
Стр.:
P.189-203
Библиография:
Bibliogr.: p.202-203
Источник:
Том:
2618
Карточка:
Б2.24, Б2.14.
Flanagan C..
Automatic Software Model Checking Using CLP// Lecture Notes in Computer Science-2003.-Vol. 2618.-P.189-203
Bibliogr.: p.202-203
Таблица в старой библиотеке:
PAP26 618