Share
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches (in English)
Howard Bowman
(Illustrated by)
·
John Derrick
(Illustrated by)
·
Cambridge University Press
· Hardcover
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches (in English) - Bowman, Howard ; Derrick, John
$ 161.05
$ 180.00
You save: $ 18.95
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My WishlistsIt will be shipped from our warehouse between
Thursday, June 06 and
Friday, June 07.
You will receive it anywhere in United States between 1 and 3 business days after shipment.
Synopsis "Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches (in English)"
This important resource presents the current state of the art in the application of formal methods to object based distributed systems. A major theme is how to formally handle the new requirements arising from OO distributed systems. The major specification notations and modeling techniques are introduced and compared by leading researchers, in several cases, the inventors of the notations. The book also describes approaches to the specification of nonfunctional requirements, needed typically in the specification of multimedia systems and security issues. Professionals in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships among the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Hardcover.
✓ Producto agregado correctamente al carro, Ir a Pagar.