Enlarge

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

Publication Data

Title Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006 Bologna, Italy, June 2006 proceedings
Contributors Roberto Gorrieri, Heike Wehrheim
Publisher Springer
Publication date 2006
Publication location Berlin
Language English

Topics

Electronic data processing :: Distributed processing :: Congresses
Object-oriented programming (Computer science) :: Congresses

Catalogue Data

OBNB ID GBA665886
ISBN 10 354034893X
ISBN 13 9783540348931
Type BibliographicResource, Book
Dewey Classification 005.131

ISBD

P1053 x, 266 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006 Bologna, Italy, June 2006 proceedings. ISBN 9783540348931. Published by Springer in 2006. Publication and catalogue information, links to buy online and reader comments.