TY - DATA AU - Hendren,Laurie ED - SpringerLink (Online service) TI - Compiler Construction: 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings T2 - Lecture Notes in Computer Science, SN - 9783540787914 AV - QA76.76.C65 H46 2008 PY - 2008/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer science KW - Software engineering KW - Logic design KW - Artificial intelligence KW - Computer Science KW - Logics and Meanings of Programs KW - Mathematical Logic and Formal Languages KW - Software Engineering KW - Artificial Intelligence (incl. Robotics) UR - http://dx.doi.org/10.1007/978-3-540-78791-4 ER -