Cover Image

Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings /

Show other versions (2)
Bibliographic Details
Corporate Authors: International Conference on Formal Methods for Open Object-Based Distributed Systems Bologna, Italy, SpringerLink (Online service)
Other Authors: Gorrieri, Roberto, Wehrheim, Heike
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, 2006.
Series:Lecture notes in computer science ; 4037.
Subjects:
Electronic data processing > Distributed processing > Congresses.
Object-oriented programming (Computer science) > Congresses.
Programmation orientée objet (Informatique) > Congrès.
Traitement réparti > Congrès.
Electronic books.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA76.9.D5 I573 2006eb
 
Call Number Status Get It
QA76.9.D5 I573 2006eb Available