| Record ID | marc_loc_2016/BooksAll.2016.part37.utf8:99882154:1905 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part37.utf8:99882154:1905?format=raw |
LEADER: 01905cam a22004337a 4500
001 2009928779
003 DLC
005 20140826074934.0
008 090515s2009 gw a b 101 0 eng d
010 $a 2009928779
020 $a3642026516 (pbk. : alk. paper)
020 $a9783642026515 (pbk. : alk. paper)
035 $a(OCoLC)ocn419645564
040 $aOHX$cOHX$dAZS$dGBVCP$dDEBBG$dZZAND$dDLC
042 $alccopycat
050 00 $aQA76.76.V47$bI58 2009
072 7 $aQ$2lcco
082 04 $a005.1
084 $aDAT 325f$2stub
084 $aSS 4800$2rvk
111 2 $aInternational SPIN Workshop$n(16th :$d2009 :$cGrenoble, France)
245 10 $aModel checking software :$b16th International SPIN Workshop, Grenoble, France, June 26-28, 2009 ; proceedings /$cCorina S. Pasareanu (ed.).
260 $aBerlin ;$aNew York :$bSpringer,$cc2009.
300 $ax, 295 p. :$bill. ;$c24 cm.
490 0 $aLecture notes in computer science,$x0302-9743 ;$v5578
490 0 $aLNCS sublibrary: SL 1 -- Theoretical computer science and general issues
500 $aThis volume contains the proceedings of the 16th International SPIN Workshop on Model Checking of Software (SPIN 2009), that was held at the Grenoble World Trade Center, in Grenoble France, June 26-28, 2009.--Pref.
504 $aIncludes bibliographical references and index.
650 0 $aComputer software$xVerification$vCongresses.
650 0 $aComputer simulation$xTesting$xData processing$vCongresses.
630 00 $aSPIN (Computer file)$vCongresses.
650 4 $aModel Checking$vKongress$zGrenoble <2009>
650 4 $aProgrammverifikation$xModel Checking$vKongress$zGrenoble <2009>
655 7 $aGrenoble (2009)$2swd
655 7 $aKongress.$2swd
650 07 $aModel Checking.$2swd
650 07 $aProgrammverifikation.$2swd
700 1 $aPăsăreanu, Corina S.
856 42 $uhttp://d-nb.info/994394659/04$3Inhaltsverzeichnis