Time for Verification Essays in Memory of Amir Pnueli

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Manna, Zohar
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Peled, Doron A., 1962-
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Σειρά:Lecture Notes in Computer Science 6200
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/978-3-642-13754-9