Вы здесь

Главная

FM8501: A Verified Microprocessor

Автор: 
Hunt W. A.
Количество экземпляров: 
1
Вид: 
Монография
Год: 
1994
Ключевые слова: 
микропроцессор
автоматизированный
программирование
проектирование
логический
Стр.: 
333 p.
Библиография: 
Bibliogr.: p.330-333.
Место издания: 
Berlin
Heidelberg
Издательство: 
Springer
Серия: 
Lecture Notes in Artificial Intelligence
Том: 
795
Карточка: 

А3.2, В2.11, Б2.13.

Hunt W. A..

FM8501: A Verified Microprocessor-Berlin, Heidelberg.: Springer, 1994.-Vol. 795.-333 p.-(Lecture Notes in Artificial Intelligence).
Bibliogr.: p.330-333.

Таблица в старой библиотеке: 
MONO1 608