Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Barringer, Howard (Επιμελητής έκδοσης), Falcone, Ylies (Επιμελητής έκδοσης), Finkbeiner, Bernd (Επιμελητής έκδοσης), Havelund, Klaus (Επιμελητής έκδοσης), Lee, Insup (Επιμελητής έκδοσης), Pace, Gordon (Επιμελητής έκδοσης), Roşu, Grigore (Επιμελητής έκδοσης), Sokolsky, Oleg (Επιμελητής έκδοσης), Tillmann, Nikolai (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 6418
• Θέματα: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Algorithms.; Computer logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Algorithm Analysis and Problem Complexity.; Logics and Meanings of Programs.; Programming Techniques.; Programming Languages, Compilers, Interpreters.