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

Книга
УДК 621.398 Д303

Деметрович, Я.
Автоматизированные методы спецификации : пер. с англ. / Я. Деметрович, Е. Кнут, П. Радо . – М. : Мир, 1989 . – 115 с. - ISBN 5-03-000487-4 .

621.398 Д303

Тезаурус = ГАСНТИ 50.05.09
Тезаурус = Автоматика. Вычислительная техника : Теоретические основы программирования : языки программирования и спецификаций

937223 Учз
937220 Кх
937221 Кх