Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings ... Notes in Computer Science (4349), Band 4349)

von Byron Cook Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-540-69735-0 ISBN-10: 3-540-69735-7 Springer · 2007