Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
Κύριος συγγραφέας: | |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | |
Άλλοι συγγραφείς: | |
Μορφή: | Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2010
|
Σειρά: | Lecture Notes in Computer Science
5944 |
Θέματα: | |
Διαθέσιμο Online: | http://dx.doi.org/10.1007/978-3-642-11319-2 |
Διαδίκτυο
http://dx.doi.org/10.1007/978-3-642-11319-2ΒΚΠ - Πατρα: Unknown
Ταξιθετικός Αριθμός: |
Unknown |
---|---|
Αντίγραφο Unknown | Στη βιβλιοθήκη |