Вы здесь

DDD-FM9001: Derivation of a Verified Microprocessor

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1993
Стр.: 
P.191-202.
Библиография: 
Bibliogr.: p.202.
Том: 
683
Карточка: 

А3.22, А3.43.

Bose B., Johnson S. D..

DDD-FM9001: Derivation of a Verified Microprocessor// Lecture Notes in Computer Science-1993.-Vol. 683.-P.191-202.
Bibliogr.: p.202.

Таблица в старой библиотеке: 
PAP6 97