Books+ Search Results
Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings
Title
Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings / Roberto Gorrieri, Heike Wehrheim (eds.).
ISBN
354034893X
Published
Berlin : Springer-Verlag, c2006.
Physical Description
1 online resource
Notes
"This volume contains the proceedings of the 8th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS 2006)"--Pref.
Variant and related titles
FMOODS 2006
Internet Archive collection.
Format
Books
Language
English
Added to Catalog
May 08, 2020
Bibliography
Includes bibliographical references and index.
Subjects
Also listed under
Bookmark As
Citation
