Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

Constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2010, and the 30th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2010, held in Amsterdam, The Netherlands, in June 20...

Full description

Saved in:
Bibliographic Details
Main Authors FMOODS, FORTE, Hatcliff, John, Zucca, Elena
Format eBook Book Conference Proceeding
LanguageEnglish
Published Netherlands Springer Nature 2010
Springer
Springer Berlin Heidelberg
Edition2010.
SeriesLecture Notes in Computer Science
Subjects
Computer Communication Networks
Computer programming, programs, data
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
Online AccessGet full text

Cover

More Information
Summary:Constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2010, and the 30th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2010, held in Amsterdam, The Netherlands, in June 2010.
Bibliography:Includes bibliographical references and index
ISBN:3642134645
9783642134647
9783642134630
3642134637
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-642-13464-7