Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings / [electronic resource] :
edited by Shriram Krishnamurthi, Martin Odersky.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- v.: digital
- Lecture Notes in Computer Science, 4420 0302-9743 ; .
9783540712299
Computer science Software engineering Logic design Artificial intelligence Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Artificial Intelligence (incl. Robotics)