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

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

Dettagli Bibliografici
Autore principale:	Непомнящий В. А. Валерий Александрович
Altri autori:	Рякин О. М. Олег Михайлович (редактор), Ершов А. П.
Lingua:	russo
Pubblicazione:	Москва, Радио и связь, 1988
Soggetti:	вычислительные машины программы верификация прикладные методы автоматизация языки программирования
Natura:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=60341

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

Delphi: пер. с англ.
di: Матчо Дж. Джон
Pubblicazione: (Москва, Бином, 1995)

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

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

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

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

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

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

Программирование игр для Windows на Borland C+: Пер. с англ.
di: Баркакати Н. Набайоти
Pubblicazione: (Москва, Бином, 1995)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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