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

Журнал
Formal Methods in System Design. - Berlin : Springer Science+Business Media, 1992 (Springer) - Периодичность . - ISSN 0925-9856. - Текст : электронный.
ГРНТИ + 50.43

Аннотация: Cтатьи по развитию и применению формальных методов в проектировании, реализации и проверке корректности аппаратных (СБИС) и программных систем для научных и промышленных целей.. 20031215

database website Elibrary 1996 - 2004 с 2005г. см. издательство Springer

publisher's website

journal link (full text - НТО-3)

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): vr=F549959)

Записей номеров не найдено