1. Деметрович, Я. Автоматизированные методы спецификации / Я. Деметрович, Е. Кнут, П. Радо ; перевод с английского Л. В. Шабанова ; под редакцией Ю. Г. Дадаева УДК 519.683. — ББК 32.973Издательство: Москва : Мир, 1989Физическая характеристика: 115 с. : табл.

Действия: Заказать Зарегистрируйтесь, чтобы добавлять метки. Добавить в корзину
2.  Математические основы теории автоматического регулирования : учеб. пособие для студ. втузов / [В. А. Иванов и др.] ; под ред. Б. К. Чемоданова :  Т. 1. — ББК 22.11Издательство: 1977Физическая характеристика: 365, [1] с. : ил.

Действия: Заказать Добавить в корзину
3. Маслов, С. Ю. Теория дедуктивных систем и ее применения / С. Ю. Маслов. — (Кибернетика). — ББК 22.11Издательство: Москва : Радио и связь, 1986Физическая характеристика: 132, [1] с.

Действия: Заказать Добавить в корзину
Языки: