Picture 1 of 1

Stock photo
Stock photo
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approache - Picture 1 of 1

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches by John Derrick, Howard Bowman (Paperback, 2011)

Be the first towrite a review.
  • thenilestore (1211543)
  • 98.2% positive Feedback
Price:
AU $96.43
Free postage
Estimated delivery Fri, 24 May - Thu, 30 May
Returns:
30-day returns. Buyer pays for return postage.
Condition:
Brand new
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. Preface; Part I. Object-Oriented Distributed Systems: 1.