Верификация алголо-подобных программ методом индуктивных высказываний

Другие работы по этой специальности

1. Пропаганда интернационального воспитания трудящихся и дружбы народов на страницах городских газет Грузии, 1975-1980 гг.

   Долидзе, Мака Отаровна · 1986 · Канд. наук

   • 01.01.10
2. Проблемно-ориентированная система для матричных вычислений

   Козуб, Галина Эрленовна · 1985 · Канд. наук

   • 01.01.10
3. Мобильный синтезатор программ

   Шмундак, Александр Леонидович · 1985 · Канд. наук

   • 01.01.10
4. Программно-аппаратные средства системы управления промышленного робота

   Смольянов, Юрий Павлович · 1984 · Канд. наук

   • 01.01.10
5. Представление и обработка темпоральной информации в интеллектуальных системах

   Кандрашина, Елена Юрьевна · 1984 · Канд. наук

   • 01.01.10