Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

by JohnDerrick (Editor), HowardBowman (Editor)

• New

  Hardcover
  2001

  $175.37

  A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques.

• New

  Paperback
  2011

  $47.43

  A 2002 collection of comprehensive surveys by leading researchers that introduces and compares the major specification notations and modelling techniques.