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

• Main Author: Hatcliff, John
• Corporate Author: SpringerLink (Online service)
• Other Authors: Zucca, Elena
• Format: Electronic Kit Book
• Language: English
• Published: Berlin, Heidelberg IFIP International Federation for Information Processing 2010
• Series: Lecture Notes in Computer Science 6117
• Subjects: Computer science; Computer Communication Networks; Software engineering; Logic design; Computer Science; Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages