| Record ID | marc_loc_2016/BooksAll.2016.part36.utf8:85186128:1728 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part36.utf8:85186128:1728?format=raw |
LEADER: 01728cam a22004817a 4500
001 2008929605
003 DLC
005 20130125082605.0
008 080522s2008 gw a b 111 0 eng d
010 $a 2008929605
015 $a08,A29,0089$2dnb
015 $a08,N26,0091$2dnb
016 7 $a989061388$2DE-101
020 $a9783540698494 (pbk.)
020 $a3540698493 (pbk.)
028 52 $a12326419
035 $a(OCoLC)ocn232569762
040 $aOHX$beng$cOHX$dBTCTA$dYDXCP$dBAKER$dTXH$dCUY$dU9S$dHEBIS$dDEBBG$dOCLCQ$dOCL$dE7B$dOCLCQ$dDLC
042 $alccopycat
050 00 $aQA76.76.V47$bA23 2008
072 7 $aQA$2lcco
082 04 $a005.131$222
084 $aDAT 003f$2stub
084 $aDAT 325f$2stub
084 $aDAT 540f$2stub
084 $aSS 4800$2rvk
245 00 $a25 years of model checking :$bhistory, achievements, perspectives /$cOrna Grumberg, Helmut Veith (eds.).
260 $aBerlin :$bSpringer,$c2008.
300 $avi, 230 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v5000
490 1 $aLNCS. Festschrift
504 $aIncludes bibliographical references and index.
650 0 $aComputer systems$xVerification.
650 6 $aInformatique.
650 6 $aStructure logique.
650 6 $aGénie logiciel.
650 07 $aModel Checking.$2swd
655 7 $aAufsatzsammlung.$2swd
700 1 $aGrumberg, Orna.
700 1 $aVeith, Helmut.
830 0 $aLecture notes in computer science ;$v5000.$x0302-9743
830 0 $aLecture notes in computer science.$pFestschrift.
856 41 $3Table of contents$uhttp://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=016560863&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA