Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

• Κύριος συγγραφέας: Dong, Jin Song
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Zhu, Huibiao
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg Springer Berlin Heidelberg 2010
• Σειρά: Lecture Notes in Computer Science 6447
• Θέματα: Computer science; Computer Communication Networks; Software engineering; Computer software; Computer Science; Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages