| Record ID | harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:311039296:1416 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:311039296:1416?format=raw |
LEADER: 01416nam a22003495a 4500
001 013276013-4
005 20120706200156.0
008 120321s2012 gw | s ||0| 0|eng d
020 $a9783642288692$99783642288692 (ebk.)
020 $a9783642288692
024 7 $a10.1007/978-3-642-28869-2$2doi
035 $a(Springer)9783642288692
040 $aSpringer
100 1 $aSeidl, Helmut.
245 10 $aProgramming Languages and Systems :$b21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /$cedited by Helmut Seidl.
260 $aBerlin, Heidelberg :$bSpringer Berlin Heidelberg,$c2012.
490 0 $aLecture Notes in Computer Science,$x0302-9743 ;$v7211
650 20 $aSoftware engineering.
650 10 $aComputer science.
650 0 $aComputer science.
650 0 $aComputer Communication Networks.
650 0 $aSoftware engineering.
650 0 $aLogic design.
650 24 $aComputer Communication Networks.
650 24 $aLogics and Meanings of Programs.
650 24 $aProgramming Techniques.
650 24 $aProgramming Languages, Compilers, Interpreters.
650 24 $aMathematical Logic and Formal Languages.
776 08 $iPrinted edition:$z9783642288685
830 0 $aLecture notes in computer science ;$v7211.
988 $a20120629
906 $0VEN