Prototyping of VLSI Components from a Formal Specification | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Количество экземпляров:

1

Колл. автор:

Вид:

Препринт

Год:

1994

Ключевые слова:

моделирование

поток данных

синхронный

формальный

спецификация

Стр.:

30 p.

Библиография:

Bibliogr.: p.28-30

Место издания:

Номер:

2363

Карточка:

А3.44.

Mcconnell R..

Prototyping of VLSI Components from a Formal Specification-Cedex., 1994.-30 p.-(Препринт INRIA №2363).
Bibliogr.: p.28-30

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

PREP2 220