Вы здесь
A Combined Approach to Hardware Verification: Proof-Checking, Rewriting with Decision Procedures and Model-Checking. Part II: Articles
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
1996
Ключевые слова:
Стр.:
22 p.
Библиография:
Bibliogr.: p.21-22
Место издания:
Номер:
NS-96-12
Карточка:
Б2.1, В3.3.
Srivas M. K..
A Combined Approach to Hardware Verification: Proof-Checking, Rewriting with Decision Procedures and Model-Checking. Part II: Articles-Trykkeriet., 1996.-22 p.-(Препринт Basic Research in Computer Science №NS-96-12).
Bibliogr.: p.21-22
Таблица в старой библиотеке:
PREP2 396