Start reading Formal Methods for Distributed Processing on your Kindle in under a minute. Don't have a Kindle? Get your Kindle here or start reading now with a free Kindle Reading App.

Deliver to your Kindle or other device

 
 
 

Try it free

Sample the beginning of this book for free

Deliver to your Kindle or other device

Sorry, this item is not available in
Image not available for
Colour:
Image not available
 

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches [Kindle Edition]

Howard Bowman , John Derrick

Print List Price: £44.99
Kindle Price: £42.74 includes VAT* & free wireless delivery via Amazon Whispernet
You Save: £2.25 (5%)
* Unlike print books, digital books are subject to VAT.

Free Kindle Reading App Anybody can read Kindle books—even without a Kindle device—with the FREE Kindle app for smartphones, tablets and computers.

To get the free app, enter your e-mail address or mobile phone number.

Formats

Amazon Price New from Used from
Kindle Edition £42.74  
Hardcover £89.99  
Paperback £44.99  
Earn a Free Kindle Book
Earn a Free Kindle Book
Buy a Kindle book between now and 31 March and receive a promotional code good for one free Kindle book. Terms and conditions apply. Learn more

Book Description

Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems. A major theme of the book is how to formally handle the 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 fresh 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.

Product Description

Book Description

This 2002 collection of comprehensive surveys by leading researchers presents techniques in the application of formal methods to object-based distributed systems, including sections on dynamic reconfiguration, encapsulation, subtyping, inheritance, and real-time aspects.

Product details

  • Format: Kindle Edition
  • File Size: 6688 KB
  • Print Length: 490 pages
  • Simultaneous Device Usage: Up to 4 simultaneous devices, per publisher limits
  • Publisher: Cambridge University Press (22 Oct. 2001)
  • Sold by: Amazon Media EU S.à r.l.
  • Language: English
  • ASIN: B001F0RMTQ
  • Text-to-Speech: Enabled
  • X-Ray:
  • Word Wise: Not Enabled
  •  Would you like to give feedback on images?


Customer Reviews

There are no customer reviews yet.
5 star
4 star
3 star
2 star
1 star

Customer Discussions

This product's forum
Discussion Replies Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight
Start a new discussion
Topic:
First post:
Prompts for sign-in
 

Search Customer Discussions
Search all Amazon discussions
   


Look for similar items by category