Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
Κύριος συγγραφέας: | |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | |
Μορφή: | Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2010
|
Σειρά: | Lecture Notes in Computer Science
6381 |
Θέματα: | |
Διαθέσιμο Online: | http://dx.doi.org/10.1007/978-3-642-16310-4 |
Διαδίκτυο
http://dx.doi.org/10.1007/978-3-642-16310-4ΒΚΠ - Πατρα: Unknown
Ταξιθετικός Αριθμός: |
Unknown |
---|---|
Αντίγραφο Unknown | Στη βιβλιοθήκη |