Formal techniques for distributed systems
Subtitle: 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
By: John Hatcliff, Elena Zucca (eds.).
Contributors: Hatcliff, John, 1966-; Zucca, Elena; FORTE 2010 (2010 : Amsterdam, Netherlands)
Series: Lecture notes in computer science -- 6117; LNCS sublibrary: SL 2-programming and software engineering; Lecture notes in computer science -- 6117.; LNCS sublibrary
Publisher: Springer
Published: 2010
Place of publication: Berlin; New York
Language: eng
Number of pages: 231
ISBN-13: 9783642134630
Subjects: Distributed processing; Congresses; Formale Methode; Electronic data processing; Formal methods (Computer science); Verteiltes System; Object-oriented programming (Computer science)
Notes: Copyright by IFIP International Federation for Information Processing.

Includes bibliographical references and index.