Software Engineering/

Software Engineering/ Vol. 3, Domains, Requirements, and Software Design

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

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

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

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

Agile Software Construction/
по: Hunt, J. John
Публикация: (2006)

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

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

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

An integrated approach to software engineering
по: Jalote, Pankaj
Публикация: (1997)

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

Технологии программирования: Учебное пособие/
по: Мытник, С. А. Сергей Александрович
Публикация: (2007)

Метрология, стандартизация и сертификация: Методические указания к выполнению лабораторных работ для студентов специальности 230102, 230105/
по: Перемитина, Т. О. Татьяна Олеговна
Публикация: (2006)

Метрология, стандартизация и сертификация: Методические указания к выполнению лабораторных работ для студентов специальности 230102, 230105/
по: Перемитина, Т. О. Татьяна Олеговна
Публикация: (2007)

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

Инженерия программного обеспечения
по: Соммервилл, Иан
Публикация: (2002)

Software design - cognitive aspects
по: Detienne, Francoise
Публикация: (2002)

Физика и техника цилиндрических магнитных доменов/
по: Эшенфельдер, А.
Публикация: (1983)

Технологии программирования: Методические указания для выполнения лабораторных работ для студентов специальности 230102 - Автоматизированные системы обработки информации и управления/
по: Мытник, С. А. Сергей Александрович
Публикация: (2007)

Компьютерный практикум по созданию методических мультимедийных ресурсов: Учебное пособие/
по: Осетров, Д. Г., et al.
Публикация: (2007)

Основы программирования на языке Python
по: Златопольский, Дмитрий Михайлович
Публикация: (2018)

Учебная научно-исследовательская работа: Методические указания для студентов специальностей 220201 и 230104/
по: Хабибулина, Надежда Юрьевна
Публикация: (2007)

Разработка программного обеспечения для систем управления электрическими двигателями: Учебное пособие/
по: Каракулов, А. С., et al.
Публикация: (2007)

Контролеры Arduino в системах автоматизации, управления и контроля вводный курс : [учебное пособие для студентов вузов, обучающихся по направлению "Конструкторско-технологическое обеспечение машиностроительных производств"]
по: Кангин, Владимир Венедиктович
Публикация: (2019)

Software quality state of the art in management, testing, and tools
Публикация: (2001)

Синтез адаптивных систем управления при неполной информации
по: Решетникова, Галина Николаевна

Специализированная подготовка разработчиков бизнес приложений: учебное пособие/
по: Боровской, И. Г. Игорь Георгиевич, et al.
Публикация: (2007)

Алгоритмы руководство по разработке
по: Скиена, Стивен С.
Публикация: (2014)

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

Scratch и Arduino для юных программистов и конструкторов : [для детей младщего и среднего школьного возраста]
по: Винницкий, Юрий Анатольевич
Публикация: (2018)

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

Пакеты прикладных программ: Функциональное наполнение: Сборник статей/
Публикация: (1986)

Разработка модуля "Торговля" в "1С: Бухгалтерия 8"
по: Хадарцева, Арина Владимировна

Дискурсивный подход к исследованию социально-ролевой реальности предпринимательства и ее развития
по: Барышев, Алексей Андреевич

Технология разработки программного обеспечения: Пер. с англ./
по: Брауде, Э. Д. Эрик Дж
Публикация: (2004)

Алгоритмы руководство по разработке : пер. с англ.
по: Скиена, Стивен С.
Публикация: (2019)

Программирование на языке Пролог: учебное пособие/
по: Абрамов, И. А. Игорь Анатольевич
Публикация: (2011)

Разработка автоматизированного средства для доказательства свойств программ
по: Жуковская, Александра Олеговна

Перспектива: Windows NT 5.0/
по: Зубанов, Ф. В. Федор В.
Публикация: (1998)

Разработка программы дополнительного образования "STEM KITCHEN"
по: Зырина, Елизавета Игоревна

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

Spectral features of magnetic domain walls on the surface of three-dimensional topological insulators
по: Rusinov, Igor P.

Визуальный метод разработки объектно-ориентированных баз данных для систем автоматизированного проектирования: автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.12/
по: Белых, А. В. Александр Валерьевич
Публикация: (2010)