TY  - BOOK
AU  - Канович,Макс  Иосифович
AU  - Дубова, Т. Ф.
ED  - Министерство  высшего  и  среднего  специального  образования  РСФСР  Калининский  Гос. Уни-тет
TI  - Логические  методы  синтеза  программ: Учебное  пособие 
PY  - 1986///
CY  - Калинин
N1  - Библиогр.: с. 43-44
ER  -