Formal Methods for Open Object-Based Distributed Systems: Volume 2 (IFIP Advances in Information and Communication Technology)

by John Derrick (Editor), Howard Bowman (Editor)

• New

  Hardcover
  1997

  $299.09

  This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods for object oriented systems. Many topics are discussed, including the following important areas: object oriented design and programming; formalisation of object oriented methods.