Automated Technology for Verification and Analysis [electronic resource] : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

• Tác giả: Ahmed Bouajjani, Wei-Ngan Chin
• ISBN-13: 978-3642156434
• Ký hiệu phân loại: 005.1 Programming
• Thông tin xuất bản: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
• Mô tả vật lý: VIII, 404 p. 112 illus. , online resource.
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 322359
• Chủ đề: 1. Compilers (Computer programs); 2. Computer networks ; 3. Computer programming; 4. Computer science; 5. Software engineering