| Record ID | marc_loc_2016/BooksAll.2016.part40.utf8:187839783:1546 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part40.utf8:187839783:1546?format=raw |
LEADER: 01546cam a22003617a 4500
001 2012947808
003 DLC
005 20130131084823.0
008 120823s2012 gw b 101 0 eng d
010 $a 2012947808
020 $a9783642338250 (pbk. : alk. paper)
020 $a3642338259 (pbk. : alk. paper)
020 $z9783642338267 (ebk.)
035 $a(OCoLC)ocn817317545
040 $aHUA$cHUA$dBTCTA$dYDXCP$dBWX$dOHX$dDLC
042 $alccopycat
050 00 $aQA76.758$b.I3223 2012
082 00 $a005.1$223
072 7 $aQA$2lcco
111 2 $aInternational Conference on Software Engineering and Formal Methods$n(10th :$d2012 :$cThessalonikē, Greece)
245 10 $aSoftware engineering and formal methods :$b10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings /$cGeorge Eleftherakis, Mike Hinchey, Mike Holcombe (eds.).
246 30 $aSEFM 2012.
260 $aBerlin ;$aNew York :$bSpringer,$cc2012.
300 $axiii, 384 p. ;$c24 cm.
490 0 $aLecture notes in computer science ;$v7504.
490 1 $aLNCS sublibrary. SL 2, Programming and software engineering.
504 $aIncludes bibliographical references and author index.
650 0 $aSoftware engineering$vCongresses.
650 0 $aFormal methods (Computer science)$vCongresses.
700 1 $aEleftherakis, George.
700 1 $aHinchey, Michael G.$q(Michael Gerard),$d1969-
700 1 $aHolcombe, W. M. L.$q(William Michael Lloyd),$d1944-
830 0 $aLNCS sublibrary.$nSL 2,$pProgramming and software engineering.