TY  - BOOK
AU  - Каспаров,Георгий Амбарцумович
ED  - Ленинградский электротехнический институт им. В.И. Ульянова
TI  - Формальные методы проектирования: Учебное пособие 
PY  - 1977///
CY  - Ленинград
PB  - Б. и.
KW  - Вычислительные машины, электронные - Проектирование - Автоматизация
N1  - Библиогр.: с. 82-83
ER  -