Электронный каталог

Книга
УДК 621.398 К284

Каспаров, Г. А.
Формальные методы проектирования : учебное пособие / Г. А. Каспаров, Ленинградский электротехнический институт им. В.И. Ульянова (Ленина) . – Ленинград : ЛЭТИ, 1977 . – 84 с.

621.398 К284

Тезаурус = ГАСНТИ 50.33.14
Тезаурус = Автоматика. Вычислительная техника : цифровые вычислительные машины и комплексы : проектирование и конструирование ЭВМ и ВК
Тезаурус = ГАСНТИ 50.51
Тезаурус = Автоматика. Вычислительная техника : автоматизация проектирования (САПР)

750223 Кх