Метод синтаксических карт для схемной проверки программ, записанных на алгоритмическом языке

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

1. Автоматизация энергетических систем : 2-е изд., перераб.

   Соловьев, Иван Иванович · Докт. наук

   • 05.00.00 Техника
2. Исследование параметров разработки россыпных месторождений понурно-шлюзовым способом

   Лезгинцев, Георгий Михайлович · Канд. наук · Ленингр. ордена Ленина и ордена Трудового Красного Знамени горный ин-т им. Г. В. Плеханова

   • 05.00.00 Техника
3. Натурные исследования бетонной плотины Братской ГЭС

   Эйдельман, Соломон Яковлевич · Докт. наук · Всесоюз. науч.-исслед. ин-т гидротехники им. Б.Е. Веденеева

   • 05.00.00 Техника
4. Методы кинетостатического анализа плоских механизмов и их применение к динамическому расчету рабочих органов комбайна

   Никитин, Василий Никитович · Канд. наук · Азово-черномор. ин-т механизации и электрификации сельского хозяйства

   • 05.00.00 Техника
5. Исследование внутреннего обмерзания трубопроводов

   Богословский, Петр Алексеевич · Канд. наук · Московский инж.-строительный институт им. В. В. Куйбышева

   • 05.00.00 Техника