Полное описание
> 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
Заказ фрагмента документа ₽