Formal Methods and Object Technology, Stephen J. Goldsack; Stuart J.H. Kent

Автор: Scott F. Smith; Carolyn L. Talcott
Название: Formal Methods for Open Object-Based Distributed Systems IV
ISBN: 0792379233 ISBN-13(EAN): 9780792379232
Издательство: Springer
Рейтинг:
Цена: 30606.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the advances in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. This book includes the papers in this that focus on such technologies as: components; mobile code; Java[registered]; The Unified Modeling Language (UML); and, temporal and probabilistic systems.

Автор: Gilles Barthe
Название: Formal Methods for Open Object-Based Distributed Systems
ISBN: 3540688625 ISBN-13(EAN): 9783540688624
Издательство: Springer
Рейтинг:
Цена: 9776.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. formal methods for service-oriented computing; integration of quality of service requirements into formal models;

Автор: Paolo Ciancarini; Alessandro Fantechi; Roberto Gor
Название: Formal Methods for Open Object-Based Distributed Systems
ISBN: 0792384296 ISBN-13(EAN): 9780792384298
Издательство: Springer
Рейтинг:
Цена: 30606.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Discusses many topics, including the following: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; and, formalisation of object-oriented methods.

Автор: Patrick Eugster
Название: Object-Oriented Technology. ECOOP 2008 Workshop Reader
ISBN: 3642020461 ISBN-13(EAN): 9783642020469
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Contains the final reports of the workshops held during the 22nd European Conference on Object-Oriented Programming, in Paphos, Cyprus, in July 2008. This book covers topics related to object-oriented programming and technology, such as programming languages, aspects, parallel computing, formal techniques, software engineering, and applications.

Автор: Ana Moreira; Serge Demeyer
Название: Object-Oriented Technology. ECOOP`99 Workshop Reader
ISBN: 354066954X ISBN-13(EAN): 9783540669548
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume presents papers from the 13th European Conference on Object-Oriented Programming, in Lisbon, Portugal in June 1999. TThe wealth of information provided spans the whole spectrum of object technology, from theoretical and foundational issues to applications in various domains.

Автор: Howard Bowman; John Derrick
Название: Formal Methods for Open Object-based Distributed Systems
ISBN: 0412820404 ISBN-13(EAN): 9780412820403
Издательство: Springer
Рейтинг:
Цена: 33401.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods for object oriented systems. Many topics are discussed, including the following important areas: object oriented design and programming; formalisation of object oriented methods.

Автор: Frank Buschmann; Alejandro P. Buchmann; Mariano Ci
Название: Object-Oriented Technology. ECOOP 2003 Workshop Reader
ISBN: 354022405X ISBN-13(EAN): 9783540224051
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Jacques Malenfant; Sabine Moisan; Ana Moreira
Название: Object-Oriented Technology: ECOOP 2000 Workshop Reader
ISBN: 3540415130 ISBN-13(EAN): 9783540415138
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents 18 workshop reports, one panel transcription, and 15 posters, also offering a snapshot of research in object-orientation. The information provided spans the whole range of object technology, from theoretical and foundational issues to applications in various domains.

Автор: Ambler Scott W.
Название: Building Object Applications That Work: Your Step-By-Step Handbook for Developing Robust Systems with Object Technology
ISBN: 0521648262 ISBN-13(EAN): 9780521648264
Издательство: Cambridge Academ
Рейтинг:
Цена: 11246.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is a must-have resource for designers, programmers and testers of today`s OO applications. It reviews the entire process of building object applications from analyzing the project (so you know what you need to build), to designing a user-friendly interface, and testing your approaches to make sure your applications work properly.

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