| Record ID | marc_columbia/Columbia-extract-20221130-012.mrc:31451532:1399 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-012.mrc:31451532:1399?format=raw |
LEADER: 01399cam a2200313 a 4500
001 5537616
005 20221121181912.0
008 060127t20062006gw a b 101 0 eng d
010 $a 2005937944
020 $a3540311394
024 3 $a9783540311393
035 $a(OCoLC)ocm63176709
035 $a(NNC)5537616
035 $a5537616
040 $aLWU$cLWU$dNNC
050 4 $aQA76.76.V47$bV53 2006
111 2 $aVMCAI 2006$d(2006 :$cCharleston, S.C.)$0http://id.loc.gov/authorities/names/nb2006002645
245 10 $aVerification, model checking, and abstract interpretation :$b7th international conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings /$cE. Allen Emerson, Kedar S. Namjoshi (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$c[2006], ©2006.
300 $axi, 442 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in computer science ;$v3855
504 $aIncludes bibliographical references and index.
650 0 $aComputer programs$xVerification$vCongresses.
700 1 $aEmerson, E. Allen.$0http://id.loc.gov/authorities/names/nb99152470
700 1 $aNamjoshi, Kedar S.$0http://id.loc.gov/authorities/names/nb2006002641
830 0 $aLecture notes in computer science ;$v3855.$0http://id.loc.gov/authorities/names/n42015162
852 00 $boff,eng$hQA76.76.V47$iV53 2006g