| Record ID | harvard_bibliographic_metadata/ab.bib.12.20150123.full.mrc:708977515:1241 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.12.20150123.full.mrc:708977515:1241?format=raw |
LEADER: 01241nam a22003375a 4500
001 012827692-4
005 20110805195303.0
008 110114s2011 xx |0| 0 eng d
020 $a9783642177965 (ebk.)
020 $a9783642177958
035 $a(Springer)9783642177958
040 $aSpringer
100 1 $aJohnson, Michael.
245 10 $aAlgebraic Methodology and Software Technology :$b13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers /$cedited by Michael Johnson, Dusko Pavlovic.
260 $aBerlin, Heidelberg :$bSpringer Berlin Heidelberg,$c2011.
300 $bv.: digital
650 24 $aProgramming Techniques.
650 24 $aMathematical Logic and Formal Languages.
650 24 $aProgramming Languages, Compilers, Interpreters.
650 24 $aLogics and Meanings of Programs.
650 20 $aSoftware engineering.
650 10 $aComputer science.
650 0 $aArtificial intelligence.
650 0 $aLogic design.
650 0 $aSoftware engineering.
650 0 $aComputer science.
650 24 $aArtificial Intelligence (incl. Robotics)
700 1 $aPavlović, Dusko.
830 0 $aLecture notes in computer science ;$v6486.
988 $a20110715
906 $0VEN