We a good story
Quick delivery in the UK

Formal Methods for Open Object-based Distributed Systems

- Volume 2

About Formal Methods for Open Object-based Distributed Systems

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9780412820403
  • Binding:
  • Hardback
  • Pages:
  • 470
  • Published:
  • June 29, 1997
  • Edition:
  • 1997
  • Dimensions:
  • 155x235x26 mm.
  • Weight:
  • 1890 g.
Delivery: 2-3 weeks
Expected delivery: December 14, 2024

Description of Formal Methods for Open Object-based Distributed Systems

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.

User ratings of Formal Methods for Open Object-based Distributed Systems



Find similar books
The book Formal Methods for Open Object-based Distributed Systems can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.