Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

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

Παρόμοια τεκμήρια