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
Θέματα:
Διαθέσιμο 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
Αντίγραφο Unknown Στη βιβλιοθήκη