Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

• Κύριος συγγραφέας: Boer, Frank S.
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bonsangue, Marcello M., Hallerstede, Stefan, Leuschel, Michael
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg Springer Berlin Heidelberg 2010
• Σειρά: Lecture Notes in Computer Science 6286
• Θέματα: Computer science; Software engineering; Operating systems (Computers); Logic design; Computer Science; Software Engineering; Programming Languages, Compilers, Interpreters; Operating Systems; Logics and Meanings of Programs; Software Engineering/Programming and Operating Systems; Programming Techniques
• Φυσική περιγραφή: v.: digital
• ISBN: 9783642170713
• ISSN: 0302-9743