Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Namjoshi, Kedar S. (Επιμελητής έκδοσης), Yoneda, Tomohiro (Επιμελητής έκδοσης), Higashino, Teruo (Επιμελητής έκδοσης), Okamura, Yoshio (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Computer Science, 4762
• Θέματα: Computer science.; Computer communication systems.; Special purpose computers.; Software engineering.; Computer logic.; Computers.; Computer-aided engineering.; Computer Science.; Computer-Aided Engineering (CAD, CAE) and Design.; Logics and Meanings of Programs.; Information Systems and Communication Service.; Computer Communication Networks.; Special Purpose and Application-Based Systems.; Software Engineering.
• Φυσική περιγραφή: XIV, 570 p. online resource.
• ISBN: 9783540755968
• ISSN: 0302-9743 ;