Formal Methods for Distributed Processing (Hardcover)

Language: English

Published by Cambridge University Press, Cambridge, 2001

0521771846 / 9780521771849

  • Hardcover
  • New
See all details

Seller: CitiRetail, Stevenage, United KingdomCitiRetail

5-star seller

AbeBooks seller since June 29, 2022

Hardcover

Condition: New

£ 160.49

£ 37.00 shipping 
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns

Item description from seller

Hardcover. This book presents the current state of the art in the application of formal methods to object based distributed systems. A major theme of the book is how to formally handle the new requirements arising from OO distributed systems, such as dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. These may be supported either by enhancing existing notations, such as UML, LOTOS, SDL and Z, or by defining new notations, such as Actors, Pi-calculus and Ambients. The major specification notations and modelling techniques are introduced and compared by leading researchers. The book also includes a description of approaches to the specification of non-functional requirements, and a discussion of security issues. Researchers and practitioners in software design, object-oriented computing, distributed systems, and telecommunications systems will gain an appreciation of the relationships between the major areas of concerns and learn how the use of object-oriented based formal methods provides workable solutions. This collection of comprehensive surveys by leading researchers presents the current state of the art in the application of formal methods to object based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…

Seller Inventory # 9780521771849

Title
Formal Methods for Distributed Processing (Hardcover)
Author
Howard Bowman
Publisher
Cambridge University Press, Cambridge
Publication year
2001
Condition
new
Binding
Hardcover
Language
English
ISBN 10
0521771846
ISBN 13
9780521771849

CitiRetail

Stevenage, United Kingdom

5-star seller

AbeBooks seller since June 29, 2022

Shipping rates from United Kingdom to U.S.A.

Item7 to 14 business days7 to 60 business days
First item£ 37.00£ 37.00
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay

Store description

Online business

Seller's business information

ABC BOOKS LIMITED

10 John Street
London, United Kingdom WC1N 2EB