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 / edited by Scott F. Smith, Carolyn L. Talcott.

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

Corporate Author:	SpringerLink (Online service)
Other Authors:	Smith, Scott F. (Editor), Talcott, Carolyn L. (Editor)
Format:	eBook
Language:	English
Published:	New York, NY : Springer US : Imprint: Springer, 2000.
Edition:	1st ed. 2000.
Series:	IFIP Advances in Information and Communication Technology, 49 Springer eBook Collection.
Subjects:	Computer programming. Microprocessors. Artificial intelligence. Data structures (Computer science). Programming languages (Electronic computers). Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.