Software Engineering/

Software Engineering/ Vol. 1, Abstraction and Modelling

Bibliographic Details
Main Author:	Bjørner, Dines (Author)
Other Authors:	Bjørner, D. Dinesaut
Format:	Book
Language:	English
Published:	Berlin Heidelberg: Springer 2006
Series:	Texts in Computer Science
Subjects:	программирование абстракции моделирование дискретная математика языки спецификаций спецификации
Online Access:	Перейти в каталог Библиотеки ТУСУР

Similar Items

Software Engineering/
by: Bjørner, Dines
Published: (2006)

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

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

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

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

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

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

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

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

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

Software Engineering/
by: Bjørner, Dines
Published: (2006)

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

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

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

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

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

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

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

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

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

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

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

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

Software Engineering 3 Domains, Requirements, and Software Design /
by: Bjørner, Dines
Published: (2006)

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

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

Software Engineering 1 Abstraction and Modelling /
by: Bjørner, Dines
Published: (2006)

Software Engineering 2 Specification of Systems and Languages /
by: Bjørner, Dines
Published: (2006)

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

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

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

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

Grundlagen des software engineering Prototyping und objektorientierte Software-Entwicklung
by: Pomberger, Gustav
Published: (1993)

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

C, a software engineering approach
by: Darnell, Peter A.
Published: (1996)

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

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

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

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

Математические модели и методы решения задач дискретной оптимизации
by: Сергиенко, Иван Васильевич
Published: (1985)