Formal Methods for Open Object-Based Distributed Systems, Paolo Ciancarini; Alessandro Fantechi; Roberto Gor

Автор: 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;

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

Автор: 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.

Автор: Bart Jacobs; Arend Rensink
Название: Formal Methods for Open Object-Based Distributed Systems V
ISBN: 1475752687 ISBN-13(EAN): 9781475752687
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Elie Najm; Jean-Bernard Stefani
Название: Formal Methods for Open Object-based Distributed Systems
ISBN: 0412797704 ISBN-13(EAN): 9780412797705
Издательство: Springer
Рейтинг:
Цена: 34799.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Formal Methods for Open Object-based Distributed Systems presents the latest research in several related fields, and the exchange of ideas and experiences in a number of topics including: formal models for object-based distributed computing;

Автор: 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.

Автор: 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.

Автор: Jianping Wu; Samuel T. Chanson; Quiang Gao
Название: Formal Methods for Protocol Engineering and Distributed Systems
ISBN: 1475752709 ISBN-13(EAN): 9781475752700
Издательство: Springer
Рейтинг:
Цена: 27950.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Fabrice Kordon; Michel Lemoine
Название: Formal Methods for Embedded Distributed Systems
ISBN: 1441954597 ISBN-13(EAN): 9781441954596
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Varela Carlos A
Название: Programming Distributed Computing Systems
ISBN: 0262018985 ISBN-13(EAN): 9780262018982
Издательство: MIT Press
Рейтинг:
Цена: 5775.00 р.
Наличие на складе: Нет в наличии.

Описание: An introduction to fundamental theories of concurrent computation and associated programming languages for developing distributed and mobile computing systems.

Автор: Bernd Kleinjohann; Guang R. Gao; Hermann Kopetz; L
Название: Design Methods and Applications for Distributed Embedded Systems
ISBN: 1475780125 ISBN-13(EAN): 9781475780123
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Susanne Graf; Mahesh Viswanathan
Название: Formal Techniques for Distributed Objects, Components, and Systems
ISBN: 3319191942 ISBN-13(EAN): 9783319191942
Издательство: Springer
Рейтинг:
Цена: 8665.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015.