Software Engineering/

Software Engineering/ Vol. 1, Abstraction and Modelling

Библиографическая информация
Главный автор:	Bjørner, Dines (Автор)
Другие авторы:	Bjørner, D. Dinesaut
Формат:	Книга
Язык:	English
Публикация:	Berlin Heidelberg: Springer 2006
Серии:	Texts in Computer Science
Предметы:	программирование абстракции моделирование дискретная математика языки спецификаций спецификации
Online-ссылка:	Перейти в каталог Библиотеки ТУСУР

Похожие документы

Software Engineering/
по: Bjørner, Dines
Публикация: (2006)

Использование абстракций и спецификаций при разработке программ: Пер. с англ./
по: Лисков, Б. Барбара, et al.
Публикация: (1989)

Вычислительные системы: Сборник научных трудов/
Публикация: (1993)

Вычислительные системы: Сборник научных трудов/
Публикация: (1988)

Вычислительные системы: Сборник научных трудов/
Публикация: (1991)

Требования и спецификации в разработке программ: Сборник статей: Пер. с англ.
Публикация: (1984)

Спецификация программ: понятийные средства и их организация /
по: Агафонов, Валерий Николаевич
Публикация: (1990)

Системная информатика Сборник научных трудов
Публикация: (2000)

Спецификации в химической и перерабатывающей отраслях промышленности руководство по разработке и применению
Публикация: (2001)

Вычислительные системы: Сборник научных трудов/
Публикация: (1995)

Software Engineering/
по: Bjørner, Dines
Публикация: (2006)

Технология разработки программного обеспечения: учебное пособие для студентов специальности 230105/
по: Калайда, В. Т. Владимир Тимофеевич, et al.
Публикация: (2007)

Анализ методов атрибутного разграничения доступа
по: Калимолдаев, Максат Нурадилович

Анализ и верификация SDL-спецификаций распределенных систем с помощью языка Dynamic-REAL
по: Непомнящий, Валерий Александрович

Изыскание и проектирование кабельных линий электропередачи 3-35 кв: учебное пособие/
по: Калин, Н. Ф. Николай Федорович, et al.
Публикация: (1958)

Конденсаторы постоянной и переменной емкости/
по: Дэммер, Дж. В. А., et al.
Публикация: (1963)

Практикум по программированию на фортране (ОС ЕС ЭВМ) Учебное пособие для студентов высших учебных заведений
по: Бухтияров, Алексей Михайлович
Публикация: (1983)

Дискретная математика для инженера
по: Кузнецов, Олег Петрович
Публикация: (1988)

Инженерная графика: учебник/
по: Елкин, В. В. Владимир Владимирович, et al.
Публикация: (2016)

Практикум по программированию на фортране (ОС ЕС ЭВМ) Учебное пособие для вузов
по: Бухтияров, Алексей Михайлович
Публикация: (1988)

Конструкторская разработка изделий в среде Creo Parametric учебное пособие
Публикация: (2018)

Личностно-профессиональная спецификация государственных служащих монография
по: Бородина, Татьяна Игоревна
Публикация: (2018)

Алгоритмический язык Фортран Фортран-Дубна
по: Карпов, Владимир Яковлевич
Публикация: (1976)

Software Engineering 3 Domains, Requirements, and Software Design /
по: Bjørner, Dines
Публикация: (2006)

Введение в анализ информационных технологий [учебник для студентов, обучающихся по направлению 511900 "Информационные технологии"]
по: Сухомлин, Владимир Александрович
Публикация: (2003)

Язык программирования C++. Специальное издание: Пер. с англ. /
по: Страуструп, Б. Бьерн
Публикация: (2008)

Software Engineering 1 Abstraction and Modelling /
по: Bjørner, Dines
Публикация: (2006)

Software Engineering 2 Specification of Systems and Languages /
по: Bjørner, Dines
Публикация: (2006)

Комитет экспертов ВОЗ по спецификациям для фармацевтических препаратов: тридцать второй доклад : пер. с англ./
Публикация: (1995)

Реальность и прогнозы искусственного интеллекта: сборник научно-популярных статей/
Публикация: (1987)

Инженерная графика учебник : для студентов учреждений высшего образования, обучающихся по направлениям технического профиля
по: Елкин, Владимир Владимирович
Публикация: (2016)

Инженерная графика [учебное пособие для студентов вузов, обучающихся по направлению подготовки "Приборостроение"]
по: Елкин, Владимир Владимирович
Публикация: (2008)

Grundlagen des software engineering Prototyping und objektorientierte Software-Entwicklung
по: Pomberger, Gustav
Публикация: (1993)

Инженерная графика учебное пособие для вузов по направлению "Приборостроение"
по: Елкин, Владимир Владимирович
Публикация: (2009)

C, a software engineering approach
по: Darnell, Peter A.
Публикация: (1996)

Начертательная геометрия и инженерная графика 2.3 / ДО 2017 электронный курс
по: Белоенко, Е. В. специалист в области начертательной геометрии доцент Томского политехнического университета, кандидат технических наук 1962-
Публикация: (2018)

Диалектика формирования научных абстракций: /
по: Блецкан, М. И. Михаил Иванович
Публикация: (1989)

Обеспечение качества в химической и перерабатывающей отраслях промышленности руководство по передовой практике : пер. с англ.
Публикация: (2001)

Стипулятивный характер принципа Юма
по: Олейник, Полина Ивановна

Эконометрика в задачах и упражнениях [более 300 задач : подробный разбор типовых задач по каждой теме]
по: Борзых, Дмитрий Александрович
Публикация: (2015)