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
• Θέματα: Computer science; Computer Communication Networks; Software engineering; Logic design; Computer Science; Software Engineering; Programming Techniques; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering/Programming and Operating Systems
• Φυσική περιγραφή: v.: digital
• ISBN: 9783642156434
• ISSN: 0302-9743