Formal Methods for Open Object-Based Distributed Systems IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy / edited by Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri.

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book c...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Ciancarini, Paolo (Editor), Fantechi, Alessandro (Editor), Gorrieri, Roberto (Editor)
Format:	eBook
Language:	English
Published:	New York, NY : Springer US : Imprint: Springer, 1999.
Edition:	1st ed. 1999.
Series:	IFIP Advances in Information and Communication Technology, 10 Springer eBook Collection.
Subjects:	Architecture, Computer. 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.