Полное описание
Журнал
Formal Methods in System Design. - Berlin : Springer Science+Business Media, 1992 (Springer) - Периодичность . - ISSN 0925-9856. - URL: http://www.elibrary.ru, http://www.springer.com, http://www.springerlink.com/content/100266. - Загл. с титул. экрана. - Текст : электронный.
ГРНТИ
50.43
Аннотация: Cтатьи по развитию и применению формальных методов в проектировании, реализации и проверке корректности аппаратных (СБИС) и программных систем для научных и промышленных целей.. 20031215
database website Elibrary 1996 - 2004 с 2005г. см. издательство Springer
journal link (full text - НТО-3)
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): vr=F549959)Записей номеров не найдено