MARC Record from marc_nuls

LEADER: 02345cam 2200529Ii 4500
001 9925178675601661
005 20150423154510.0
008 140529t2014 gw a b 101 0 eng d
020 $a9783642543371
020 $a3642543375
020 $z9783642543388
035 $a(OCoLC)880666937
035 $a(OCoLC)ocn880666937
040 $aHUA$beng$erda$cHUA$dNhCcYBP
050 4 $aQA76.76.S46$bI673 2012
082 04 $a005.3$223
111 2 $aInternational Conference on Software Engineering and Formal Methods$n(10th :$d2012 :$cThessalonike , Greece)
245 10 $aInformation technology and open source :$bapplications for education, innovation, and sustainability : SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1-2, 2012 : revised selected papers /$cAntonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos (eds.)
246 30 $aSEFM 2012
246 30 $aInSuEdu 2012
246 30 $aMoKMaSD 2012
246 30 $aOpenCert 2012
264 1 $aHeidelberg :$bSpringer,$c[2014]
300 $axv, 303 pages :$billustrations ;$c24 cm.
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
490 1 $aLecture notes in computer science,$x0302-9743 ;$v7991
490 1 $aLNCS sublibrary. SL 2, Programming and software engineering
504 $aIncludes bibliographical references and author index.
650 0 $aOpen source software$vCongresses.
650 0 $aSoftware engineering$vCongresses.
650 0 $aFormal methods (Computer science)$vCongresses.
700 1 $aCerone, Antonio.
700 1 $aPersico, Donatella,$d1957-
700 1 $aFernandes, Sara.
700 1 $aGarcia-Perez, Alexeis.
700 1 $aKatsaros, Panagiotis,$d1969-
700 1 $aShaikh, Siraj Ahmed.
700 1 $aStamelos, Ioannis G.,$d1959-
711 2 $aInSuEdu 2012$n(1st :$d2012 :$cThessalonike , Greece)
711 2 $aMoKMaSD 2012$n(1st :$d2012 :$cThessalonike , Greece)
711 2 $aOpenCert 2012$n(6th :$d2012 :$cThessalonike , Greece)
830 0 $aLecture notes in computer science ;$v7991.
830 0 $aLNCS sublibrary.$nSL 2,$pProgramming and software engineering.
947 $cBOOK$fBOOK-SETC$g83.00$hCIRCSTACKS$iaa/sf$lNULS$o20141202$q1
980 $a99960852468