000 01351nmm a22003495u 4500
999 _c13974
_d13974
005 20201026220444.0
008 100301s2008 xx j eng d
020 _a9783540787914
050 0 4 _aQA76.76.C65
_bH46 2008
100 1 _aHendren, Laurie.
245 1 0 _aCompiler Construction
_h[electronic resource] :
_b17th 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 /
_cedited by Laurie Hendren.
260 _aBerlin, Heidelberg :
_bSpringer-Verlag Berlin Heidelberg,
_c2008.
300 _bv.: digital
490 0 _aLecture Notes in Computer Science,
_v4959
_x0302-9743 ;
650 0 _aComputer science
650 0 _aSoftware engineering
650 0 _aLogic design
650 0 _aArtificial intelligence
650 1 4 _aComputer Science
650 2 4 _aLogics and Meanings of Programs
650 2 4 _aMathematical Logic and Formal Languages
650 2 4 _aSoftware Engineering
650 2 4 _aArtificial Intelligence (incl. Robotics)
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-540-78791-4
942 _2lcc
_cLIE