Вы здесь
Automated Proofs of Object Code for a Widely Used Microprocessor
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
1993
Ключевые слова:
Стр.:
126 p.
Библиография:
Bibliogr.: p.118-122.
Место издания:
Номер:
114
Карточка:
А3.14, Б2.23.
Yu Y..
Automated Proofs of Object Code for a Widely Used Microprocessor-Palo Alto., 1993.-126 p.-(Препринт Digital №114).
Bibliogr.: p.118-122.
Таблица в старой библиотеке:
PREP1 941