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

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

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

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

Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): MF-90-15335)

Шифр в сводном ЭК: 84f9e08a5a80ed421f347f25da029c2f

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