1. Непомнящий, В. А. Прикладные методы верификации программ. — ББК 32.973.2-018Издательство: Москва : Радио и связь, 1988Физическая характеристика: 255, [1] с.

Действия: Заказать Зарегистрируйтесь, чтобы добавлять метки. Добавить в корзину
2. Алагич, С. Проектирование корректных структурированных программ [Текст] : пер. с англ. / Рякин О.М ; С. Алагич, М. Арбиб ; под ред. О. М. Рякина. — ББК 32.97Издательство: Москва : Радио и связь, 1984Физическая характеристика: 264 с.

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