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

• Κύριος συγγραφέας: Hatcliff, John
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Zucca, Elena
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg IFIP International Federation for Information Processing 2010
• Σειρά: Lecture Notes in Computer Science 6117
• Θέματα: 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
• Φυσική περιγραφή: v.: digital
• ISBN: 9783642134647
• ISSN: 0302-9743