| Record ID | marc_loc_2016/BooksAll.2016.part38.utf8:144751877:2548 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part38.utf8:144751877:2548?format=raw |
LEADER: 02548cam a22005777a 4500
001 2010921913
003 DLC
005 20120428082234.0
008 100203s2010 gw a b 101 0 eng d
010 $a 2010921913
015 $a10,A13$2dnb
016 7 $a1000251993$2DE-101
020 $a9783642120015 (pbk. : acid-free paper)
020 $a3642120016 (pbk. : acid-free paper)
028 52 $a80011160
035 $a(OCoLC)ocn586999181
040 $aOHX$beng$cOHX$dYDXCP$dDEBBG$dAZS$dOCL$dDLC
042 $alccopycat
072 7 $aQA$2lcco
082 04 $a005.12$222/ger
084 $aDAT 310f$2stub
084 $aDAT 500f$2stub
084 $aSS 4800$2rvk
050 00 $aQA76.9.S88$bT33 2010
111 2 $aTACAS 2010$d(2010 :$cPaphos, Cyprus)
245 10 $aTools and algorithms for the construction and analysis of systems :$b16th international conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings /$cJavier Esparza, Rupak Majumdar (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$cc2010.
300 $axvi, 468 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v6015
490 1 $aAdvanced research in computing and software science
490 1 $aLNCS sublibrary: SL 1-theoretical computer science and general issues
504 $aIncludes bibliographical references and index.
530 $aAlso issued online.
650 0 $aSystem design$vCongresses.
650 0 $aSystem analysis$vCongresses.
650 0 $aComputer software$xDevelopment$vCongresses.
655 4 $aKongress.
655 4 $aPaphos (Ktima, 2010)
650 07 $aModel Checking.$2swd
650 07 $aProgrammanalyse.$2swd
650 07 $aSoftwareentwicklung.$2swd
650 07 $aSystementwicklung.$2swd
650 07 $aTheoretische Informatik.$2swd
700 1 $aEsparza, Javier.
700 1 $aMajumdar, Rupak.
711 2 $aETAPS 2010$d(2010 :$cPaphos, Cyprus)
830 0 $aLecture notes in computer science ;$v6015.
830 0 $aLecture notes in computer science.$pAdvanced research in computing and software science.
830 0 $aLNCS sublibrary.$nSL 1$pTheoretical computer science and general issues.
856 41 $3Table of contents$uhttp://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=018991072&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
856 42 $qtext/html$uhttp://deposit.d-nb.de/cgi-bin/dokserv?id=3427663&prov=M&dok_var=1&dok_ext=htm$3Inhaltstext