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
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/978-3-642-16901-4