Specification architectures Research Book Chapters uri icon

Overview

Edition

  • 1

Time

Date/time value

  • 2001

Identity

International Standard Book Number (ISBN) 13

  • 9780521771849

Additional Document Info

Parent Title

  • Formal methods for distributed processing: a survey of object-oriented approaches

Publisher

  • Cambridge University Press