Formal Methods for Protocol Engineering and Distributed Systems, Jianping Wu; Samuel T. Chanson; Quiang Gao

Автор: Glasserman
Название: Monte Carlo Methods in Financial Engineering
ISBN: 0387004513 ISBN-13(EAN): 9780387004518
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: From the reviews: "Paul Glasserman has written an astonishingly good book that bridges financial engineering and the Monte Carlo method. The book will appeal to graduate students, researchers, and most of all, practicing financial engineers [...] So often, financial engineering texts are very theoretical. This book is not."

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

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

Автор: Peter Ryan; Chris Sennett
Название: Formal Methods in Systems Engineering
ISBN: 3540197516 ISBN-13(EAN): 9783540197515
Издательство: Springer
Рейтинг:
Цена: 74490.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

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

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

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

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

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

Автор: Beyer Betsy, Jones Chris, Petoff Jennifer
Название: Site Reliability Engineering: How Google Runs Production Systems
ISBN: 149192912X ISBN-13(EAN): 9781491929124
Издательство: Wiley
Рейтинг:
Цена: 50680.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In this collection of essays and articles, key members of Google`s Site Reliability Team explain how and why their commitment to the entire lifecycle has enabled the company to successfully build, deploy, monitor, and maintain some of the largest software systems in the world.

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