Прикладные методы верификации программ

Прикладные методы верификации программ

Bibliographic Details
Main Author:	Непомнящий В. А. Валерий Александрович
Other Authors:	Рякин О. М. Олег Михайлович (редактор), Ершов А. П.
Language:	Russian
Published:	Москва, Радио и связь, 1988
Subjects:	вычислительные машины программы верификация прикладные методы автоматизация языки программирования
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=60341

Similar Items

Системы производства программ
by: Чернаков Э. П.
Published: (Ленинград, Изд-во ВИКИ, 1979)

Численные методы и технология разработки пакетов прикладных программ: сборник научных трудов
Published: (Киев, Изд-во ИК, 1990)

Программирование, отладка и решение задач на ЭВМ единой серии. Язык Фортран: учебное пособие
Published: (Ленинград, Энергоатомиздат, 1988)

Программирование, отладка и решение задач на ЭВМ единой серии. Язык ПЛ/1: учебное пособие
Published: (Ленинград, Энергоатомиздат, 1989)

Экспериментальные исследования программ
by: Коган Б. И. Борис Исаакович
Published: (Москва, Наука, 1988)

Введение в теорию анализа и распараллеливания программ ЭВМ в процессе трансляции
by: Трахтенгерц Э. А. Эдуард Анатольевич
Published: (Москва, Наука, 1981)

От микропроцессоров к персональным ЭВМ
by: Черемных С. В. Станислав Владимирович
Published: (Москва, Радио и связь, 1988)

Методы создания качественного программного обеспечения ЭВМ
by: Бутаков Е. А. Евгений Артемович
Published: (Москва, Энергоатомиздат, 1984)

Разработка и отладка программ
by: Штернберг Л. Ф. Леонид Фрицевич
Published: (Москва, Радио и связь, 1984)

Конструирование компиляторов для цифровых вычислительных машин: пер. с английского
by: Грис Д. Дэвид
Published: (Москва, Мир, 1975)

Подход к автоматизации формальной верификации модулей системного обмена микропроцессоров; Современные техника и технологии; Т. 2
by: Стотланд И. А.
Published: (2012)

Мобильность программ на Фортране
by: Горелик А. М. Алла Моисеевна
Published: (Москва, Финансы и статистика, 1984)

Пакеты прикладных программ: Программное обеспечение математического моделирования
Published: (Москва, Наука, 1992)

Численное моделирование фильтрации подземных вод орошаемых массивов и пакеты прикладных программ
by: Хабибуллаев И. Х. Иброхим Х.
Published: (Ташкент, Фан, 1991)

Языки и методы программирования в системе "Эльбрус"
by: Сафонов В. О. Владимир Олегович
Published: (Москва, Наука, 1989)

[Вып. 145] : Базовое программное обеспечение суперЭВМ; Вопросы кибернетики
Published: (1990)

Концептуальное программирование
by: Тыугу Э. Х. Энн Харальдович
Published: (Москва, Наука, 1984)

Логика и компьютер; Вып. 2; Логические языки, содержательные рассуждения и методы поиска доказательств
Published: (Москва, Наука, 1995)

Пакеты прикладных программ: технология разработки
Published: (Новосибирск, Наука, 1984)

Пакеты программ анализа данных: технология разработки
by: Парасюк И. Н. Иван Николаевич
Published: (Москва, Финансы и статистика, 1988)

Руководство по программированию на языке модула-2: пер. с англ.
by: Кристиан К. Кааре
Published: (Москва, Мир, 1989)

Принципы верификации и тестирования моделей искусственного интеллекта учебное пособие для вузов
by: Золкин А. Л.
Published: (Санкт-Петербург, Лань, 2025)

Теория схем программ
by: Котов В. Е. Вадим Евгеньевич
Published: (Москва, Наука, 1991)

Методы и алгоритмы расчета тепловых сетей
Published: (Москва, Энергия, 1978)

Кн. 1; Основы программирования на языке ассемблера
Published: (1983)

Разработка алгоритма верификации DES; Неразрушающий контроль: электронное приборостроение, технологии, безопасность; Т. 1
by: Кожевников Д. С.
Published: (2015)

Пакеты прикладных программ: программное обеспечение вычислительного эксперимента
Published: (Москва, Наука, 1987)

Программирование на ПЛ/ОС ЕС
Published: (Москва, Статистика, 1979)

Прикладные программы в системе математического обеспечения ЕС ЭВМ
by: Фатеев А. Е. Александр Ефимович
Published: (Москва, Статистика, 1976)

Кн. 2; Основы программирования на языке ассемблера
Published: (1983)

Автоматизация проектирования ЭВМ: учебное пособие для вузов
by: Скляров В. А. Валерий Анатольевич
Published: (Минск, Вышэйшая школа, 1990)

Вып. 1 : Пакет прикладных программ CDS/ISIS/EC. Ч. 2 : Руководство программиста; Методические материалы и документация по пакетам прикладных программ
Published: (1983)

Сборник задач по программированию на алгоритмических языках: учебное пособие для втузов
by: Бухтияров А. М. Алексей Михайлович
Published: (Москва, Наука, 1978)

Сборник задач по программированию на алгоритмических языках: учебное пособие для втузов
by: Бухтияров А. М. Алексей Михайлович
Published: (Москва, Наука, 1974)

Прикладное программирование в системе КАМА
Published: (Москва, Финансы и статистика, 1983)

Системное обеспечение пакетов прикладных программ
by: Горбунов-Посадов М. М. Михаил Михайлович
Published: (Москва, Наука, 1990)

Programming in Pascal: communicating with computers
by: Frates J. Jeffrey
Published: (New Jersey, Prentice Hall, 1986)

Проблемы верификации конституционных норм; Журнал российского права; № 10 (214)
by: Оглезнев В. В. Виталий Васильевич
Published: (2014)

Методы проектирования программных систем: пер. с англ.
by: Зиглер К. Кэролл
Published: (Москва, Мир, 1985)

Вып. 38: Система программирования набора текста (СПНТ-2); Методические материалы и документация по пакетам прикладных программ
by: Чепкасов А. И.
Published: (1987)