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