| Record ID | marc_loc_updates/v40.i01.records.utf8:28755058:2065 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v40.i01.records.utf8:28755058:2065?format=raw |
LEADER: 02065nam a22005775a 4500
001 2009935005
003 DLC
005 20111230064913.0
008 090817s2009 gw a b 101 0 eng d
010 $a 2009935005
015 $a09,N37,0071$2dnb
020 $a9783642046933
020 $a3642046932
028 52 $a12758500
035 $a(OCoLC)ocn449849018
040 $aBTCTA$cBTCTA$dOHX$dZCU$dAZS$dBWX$dDEBBG$dDLC
042 $alccopycat
050 00 $aQA76.76.V47$bR88 2009
082 00 $a005.1/17$223
084 $aDAT 263f$2stub
084 $aDAT 325f$2stub
084 $aSS 4800$2rvk
111 2 $aRV 2009$d(2009 :$cGrenoble, France)
245 10 $aRuntime verification :$b9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers /$cSaddek Bensalem, Doron A. Peled (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$cc2009.
300 $a201 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v5779
490 1 $aLNCS sublibrary: SL 2-programming and software engineering
504 $aIncludes bibliographical references and index.
530 $aAlso issued online.
650 0 $aComputer software$xVerification$vCongresses.
650 0 $aFormal methods (Computer science)$vCongresses.
650 0 $aComputer software$xTesting$vCongresses.
650 0 $aAspect-oriented programming$vCongresses.
650 07 $aComputersicherheit.$2swd
650 07 $aDatensicherung.$2swd
650 07 $aEchtzeitsystem.$2swd
650 07 $aEchtzeitverarbeitung.$2swd
650 07 $aFormale Methode.$2swd
650 07 $aModel Checking.$2swd
650 07 $aMonitoring (Informatik)$2swd
650 07 $aSoftware.$2swd
650 07 $aTesten.$2swd
650 07 $aVerifikation.$2swd
655 7 $aGrenobble (2009)$2swd
655 7 $aGrenoble (2009)$2swd
655 7 $aKongress.$2swd
700 1 $aBensalem, Saddek.
700 1 $aPeled, Doron,$d1962-
830 0 $aLecture notes in computer science ;$v5779.
830 0 $aLNCS sublibrary.$nSL 2,$pProgramming and software engineering.