Вы здесь
Theorem Proving for Verification
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2001
Ключевые слова:
Стр.:
P.39-57
Библиография:
Bibliogr.: p.46-48
Источник:
Том:
2067
Карточка:
Б2.23, Б3.54, В2.11.
Rushby J..
Theorem Proving for Verification// Lecture Notes in Computer Science-2001.-Vol. 2067.-P.39-57
Bibliogr.: p.46-48
Таблица в старой библиотеке:
PAP23 965