Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

• Κύριος συγγραφέας: MΓ©ry, Dominique
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Merz, Stephan
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg Springer Berlin Heidelberg 2010
• Σειρά: Lecture Notes in Computer Science 6396
• Θέματα: Computer science; Software engineering; Computer software; Logic design; Computer Science; Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Programming Techniques; Algorithm Analysis and Problem Complexity
• Φυσική περιγραφή: v.: digital
• ISBN: 9783642162657
• ISSN: 0302-9743