Structured Object-Oriented Formal Language and Method, Shaoying Liu; Zhenhua Duan

Автор: Giuseppe Castagna
Название: ECOOP 2013 -- Object-Oriented Programming
ISBN: 3642390374 ISBN-13(EAN): 9783642390371
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 27th European Conference on Object-Oriented Programming, ECOOP 2013, held in Montpellier, France, in July 2013. The 29 papers presented in this volume were carefully reviewed and selected from 116 submissions. They are organized in topical sections on aspects, components, and modularity;

Автор: Daoqi Yang
Название: C++ and Object-Oriented Numeric Computing for Scientists and Engineers
ISBN: 1461265665 ISBN-13(EAN): 9781461265665
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is an easy, concise but fairly complete introduction to ISO/ANSI C++ with special emphasis on object-oriented numeric computation. A user-defined numeric linear algebra library accompanies the book and can be downloaded from the web.

Автор: Shaoying Liu; Zhenhua Duan; Cong Tian; Fumiko Nago
Название: Structured Object-Oriented Formal Language and Method
ISBN: 3319577077 ISBN-13(EAN): 9783319577074
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions.

Автор: Shaoying Liu; Zhenhua Duan
Название: Structured Object-Oriented Formal Language and Method
ISBN: 3319049143 ISBN-13(EAN): 9783319049144
Издательство: Springer
Рейтинг:
Цена: 8803.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013.

Автор: Kevin Lano
Название: Formal Object-Oriented Development
ISBN: 3540199780 ISBN-13(EAN): 9783540199786
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: An overview of the use of formal object-oriented methods: it covers how and where they should be introduced into the development process, how they can be introduced selectively for critical parts of an application, and how to incorporate them effectively into existing developmental practices.

Автор: Jos? M. Garrido
Название: Performance Modeling of Operating Systems Using Object-Oriented Simulations
ISBN: 1475773110 ISBN-13(EAN): 9781475773118
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book introduces the fundamental concepts and practical simulation te- niques for modeling different aspects of operating systems to study their g- eral behavior and their performance.

Автор: Haim Kilov; William Harvey
Название: Object-Oriented Behavioral Specifications
ISBN: 1475770405 ISBN-13(EAN): 9781475770407
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The book does not take `reuse` of specifications or software for granted, but furnishes a foundation for taking as rigorous an approach to reuse decisions as to precise specifications in original developments.

Автор: Theo D`Hondt
Название: Technology of Object-Oriented Languages, Systems and Architectures
ISBN: 1461350646 ISBN-13(EAN): 9781461350644
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: B. Henderson-Sellers; A. Bulthuis
Название: Object-Oriented Metamethods
ISBN: 1461272637 ISBN-13(EAN): 9781461272632
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In part the book creates and motivates the notion of metamodelling and how it can be used to standardise the creation of industry-strength design. As a result, software engineers and software managers will find this a valuable "road map" in the future development of software standards.

Автор: Imran Bashir; Amrit L. Goel
Название: Testing Object-Oriented Software
ISBN: 1461271797 ISBN-13(EAN): 9781461271796
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Addressing various aspects of object-oriented software techniques with respect to their impact on testing, this text argues that the testing of object-oriented software is not restricted to a single phase of software development.