Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings /

This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008. The 14 revised full papers presented together with 1 invited lecture were carefully reviewed a...

Full description

Saved in:

Bibliographic Details
Corporate Authors:	International Conference on Formal Methods for Open Object-Based Distributed Systems Oslo, Norway, IFIP Working Group 6.1
Other Authors:	Barthe, Gilles, 1967-, Boer, Frank S. de
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, 2008 Berlin ; New York : c2008
Series:	Lecture notes in computer science, 5051 LNCS sublibrary Programming and software engineering LNCS sublibrary Programming and software engineering. Lecture notes in computer science ; 5051 Lecture notes in computer science 5051
Subjects:	Electronic data processing > Distributed processing > Congresses Formal methods (Computer science) > Congresses Object-oriented programming (Computer science) > Congresses Electronic data processing > Distributed processing Object-oriented programming (Computer science) Conference papers and proceedings Conference papers and proceedings Kongress Oslo (2008)
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number:	QA76.9.D5.F6642 2008

Johns Hopkins University

Holdings details from Johns Hopkins University
Call Number:	QA76.9.D5 I573 2008

Harvard University

Holdings details from Harvard University
Call Number:	QA75 .L4 vol. 5051

Duke University

Holdings details from Duke University
Call Number:	QA75.5 .L438 v.5051

Cornell University

Holdings details from Cornell University
Call Number:	QA76.9.D5 I573 2008

Columbia University

Holdings details from Columbia University
Call Number:	QA76.9.D5 I573 2008