Бесплатная библиотека - 1 338 004 изданий в библиотеке

Object-Oriented Technology

Книга Object-Oriented Technology


Название:Object-Oriented Technology
Автор Alagic, Suad
Издательство: Springer
Год: 2015
Страниц: 209
Язык: English
Формат: pdf
Размер: 2 Mb
Covers specialized topics including assertions, specification and verification, virtual platform, persistent objects, object databases, query languages and transactions
Reinforces core principles with numerous examples, figures and exercises in each chapter
Promotes emerging software specification and verification technology
Material presented has been tested in a variety of object-oriented courses
The core idea of this book is that object– oriented technology is a generic technology whose various technical aspects can be presented in a unified and consistent framework. This applies to both practical and formal aspects of object-oriented technology. Course tested in a variety of object-oriented courses, numerous examples, figures and exercises are presented in each chapter.
The approach in this book is based on typed technologies, and the core notions fit mainstream object-oriented languages such as Java and C#. The book promotes object-oriented constraints (assertions), their specification and verification. Object-oriented constraints apply to specification and verification of object-oriented programs, specification of the object-oriented platform, more advanced concurrent models, database integrity constraints and object-oriented transactions, their specification and verification
depositfiles.com

Рейтинг: 4.8 баллов / 2537 оценок
Формат: Книга
Уже скачали: 12761 раз

Похожие Книги

Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!

  • Книга Как очистить жесткий диск от мусора

    Как очистить жесткий диск от мусора

    Название: Как очистить жесткий диск от мусора Автор: коллектив Издательство: Россия Год издания: 2015 Язык: Русский Формат: WebRip Время звучания: 08:41 мин Качество: хорошее Размер: 63,4 Мб Описани . . .

  • Журнал Добра кухня №11(56) 2015

    Добра кухня №11(56) 2015

    Название: Добра кухня №11(56) 2015 Автор: Коллектив Серия или выпуск: №11(56) Издательство: ИД «Високий замок» ISBN: 4-820059-090120 Год издания: 2015 Страниц: 32 Язык: Украинский Формат: jpeg Качес . . .

  • Журнал Скатерть-самобранка №22 2015

    Скатерть-самобранка №22 2015

    Название: Скатерть-самобранка №22 2015 Автор: коллектив Серия или выпуск: 22 Издательство: ООО "Слог" Год издания: 2015 Страниц: 16 Язык: Русский Формат: DjVu Качество: хорошее Размер: 12,82 Мб Опис . . .

  • Журнал Технологии и средства связи №3 (2015)

    Технологии и средства связи №3 (2015)

    Название: Технологии и средства связи №3 (2015) Автор: коллектив Год издания: 2015 Страниц: 68 Язык: Русский Формат: pdf Качество: отличное Размер: 62.72 МбОписание: «Технологии и средства связи» - В . . .

  • Книга Юридические произведения

    Юридические произведения

    Автор: Сперанский М.М. Название: Юридические произведения Издательство: М.: Зерцало Год: 2008 Формат: pdf Размер: 3 mb В очередном томе серии «Русское юридическое наследие» публикуются работы выдающе . . .

  • Книга Як-2/Як-4 и другие ближние бомбардировщики Яковлева (Война и мы. Авиаколлекция)

    Як-2/Як-4 и другие ближние бомбардировщики Яковлева (Война и мы. Авиаколлекция)

    Название: Як-2/Як-4 и другие ближние бомбардировщики Яковлева (Война и мы. Авиаколлекция) Автор: Николай Якубович Издательство: Яуза, Эксмо ISBN: 978-5-699-83372-6 Год выпуска: 2015 Страниц: 112 Фор . . .

  • Книга Годы возмездия

    Годы возмездия

    Название: Годы возмездия Автор: Маршал Советского Союза А. И. Ерёменко Издательство: Вече ISBN: 978-5-4444-3049-1 Год выпуска: 2015 Страниц: 524 Формат: pdf Размер: 43,8Мб Качество: отличное Язык: р . . .

  • Книга Научись говорить по-английски

    Научись говорить по-английски

    Название: Научись говорить по-английски Автор: Людмила Камионская Издательство: Феникс Год: 2015 Страниц: 80 Формат: pdf Размер: 13 мб Качество: хорошее Язык: русский Книга предназначена для родителей . . .

  • Книга Тайна брига «Меркурий». Неизвестная история Черноморского флота

    Тайна брига «Меркурий». Неизвестная история Черноморского флота

    Название: Тайна брига «Меркурий». Неизвестная история Черноморского флота Автор: В. В. Шигин Издательство: Вече ISBN: 978-5-4444-2734-7 Год выпуска: 2015 Страниц: 364 Формат: pdf Размер: 29Мб Качес . . .

  • Книга Коллектив - Все лучшие методики воспитания детей в одной книге (2015)

    Коллектив - Все лучшие методики воспитания детей в одной книге (2015)

    В этой книге вы узнаете секреты воспитания русских, французов, японцев, евреев, а также познакомитесь с методами известной итальянской учительницы и ученой Марии Монтессори – одного из педагогов, опре . . .

Вы не зарегистрированы!

Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.

Войти Регистрация

Отзывы читателей

Ой!

К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Object-Oriented Technology. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.