Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings

Product details

• Assisted by: Viktor Kuncak (Editor), Andrey Rybalchenko (Editor)
• Publisher: Springer EN
• Languages: English
• Product format: Paperback / Softback
• Released: 12.01.2012
• EAN: 9783642279393
• ISBN: 978-3-642-27939-3
• No. of pages: 457
• Illustrations: X, 457 p. 111 illus., schwarz-weiss Illustrationen
• Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Software Engineering, Algorithms, computer science, Theory of Computation, Logics and Meanings of Programs, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer programming, Algorithms & data structures, Mathematical theory of computation, Computer programming / software engineering, Algorithm Analysis and Problem Complexity, Mathematical logic, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer logic