Перейти к основному содержанию
Библиотечно-издательский комплекс СФУ
Toggle navigation
Ресурсы
Библиотечный поиск
Каталог изданий университета
Университетские информационные ресурсы
Российские информационные ресурсы
Мировые информационные ресурсы
Периодические издания
Тематические путеводители
Книгообеспеченность учебного процесса
Приобретение литературы
Читателю
Регистрация читателей
Получение и возврат литературы
Межбиблиотечный абонемент
Тематические путеводители
Обучение работе с ресурсами
Доступная среда библиотеки
Детская развивающая площадка
Подарить книгу библиотеке
Автору
Правила издания рукописей
План выпуска изданий
Размещение публикаций в библиотеке, репозитории, РИНЦ
Проверка
журнала
Служба поддержки публикационной
активности
Учёт публикаций в АИС
«Прометей»
Услуги
Справочник услуг и сервисов БИК
Новая заявка на услугу
Бронирование помещений
Контакты
Адреса и режим работы
Контакты
Вопрос-Ответ
Отправить отзыв
Ещё
О Научной библиотеке
Об Издательстве
Дилерство «САБ ИРБИС»
Красноярский ИРБИС-клуб
Литературный клуб «Высокий берег»
Подкаст «Пища для ума»
Вакансии
Часто задаваемые вопросы
Мобильное приложение
Карта сайта и поиск по сайту
Онлайн-медиа Научной библиотеки
Личный кабинет
Главная
Ресурсы
Библиотечный поиск
The Programming
Language Ada
Reference Manual
American National
Standards Institute,
Inc.
ANSI/MIL-STD-1815A-19
83
D Barstow
W Brauer
P Bfinch
1983 год
The Programming Language Ada Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983
книга
Страница публикации
Публикация в OpenAlex
Год издания:
1983
Авторы:
D Barstow
,
W Brauer
,
P Bfinch
,
Hansen Gries
,
D Luckham
,
C Meter
,
Amir Pnueli
,
G Seegm ller
,
John Steer
,
Niklaus Wirth
Издательство:
Springer Science+Business Media
Источник:
Lecture notes in computer science
Ключевые слова:
Software Reliability and Analysis Research
Показать дополнительные сведения
DOI:
https://doi.org/10.1007/3-540-12328-8
Открытый доступ:
closed