Formal Methods for Open Object-Based Distributed Systems IV : IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA /

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-t...

Full description

Bibliographic Details

Main Author:	Smith, Scott F.
Corporate Author:	SpringerLink (Online service)
Other Authors:	Talcott, Carolyn L.
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US : Imprint: Springer, 2000.
Series:	IFIP advances in information and communication technology ; 49.
Subjects:	Computer science. Data structures (Computer science) Electronic data processing. Electronic books.
Online Access:	Connect to the full text of this electronic book