Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Κύριος συγγραφέας: | |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | |
Άλλοι συγγραφείς: | , , |
Μορφή: | Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2010
|
Σειρά: | Lecture Notes in Computer Science
6286 |
Θέματα: | |
Διαθέσιμο Online: | http://dx.doi.org/10.1007/978-3-642-17071-3 |
Διαδίκτυο
http://dx.doi.org/10.1007/978-3-642-17071-3ΒΚΠ - Πατρα: Unknown
Ταξιθετικός Αριθμός: |
Unknown |
---|---|
Αντίγραφο Unknown | Στη βιβλιοθήκη |