Полное описание

MF-90-15335
Stanford university. Computer science department.
[Reports] : сборник научных трудов / Stanford univ. - Stanford : [s. n.], 19 - . - Текст : непосредственный.
88-1210 : String-functional semantics for formal verification of synchronous circuits : mfiche.(1) / A.Bronstein,C.Talcott. - Stanford(Ca) : [s. n.], 1988. - 57 мкфш. : ill. - 7.58 р.

ГРНТИ	УДК
50	004(05)

Доп. точки доступа:
Talcott, C.

Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)

Заказать издание
Заказ фрагмента документа ₽