| Record ID | marc_columbia/Columbia-extract-20221130-015.mrc:82192420:1900 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-015.mrc:82192420:1900?format=raw |
LEADER: 01900cam a2200445Ia 4500
001 7211396
005 20221130215318.0
008 090522s2009 gw a b 111 0 eng d
015 $a993961886$2dnb
016 7 $a993961886$2GyFmDB
020 $a9783642017476 (pbk.)
020 $a3642017479 (pbk.)
029 0 $aOHX$bhar090067741
029 1 $aGBVCP$b599285796
035 $a(OCoLC)351305713
035 $a(OCoLC)ocn351305713
035 $a(NNC)7211396
035 $a7211396
040 $aOHX$cOHX$dYDXCP$dBTCTA$dTXH$dGBVCP
072 7 $aQA$2lcco
090 $aQA76.7$b.L383 2009
245 00 $aLanguages: from formal to natural :$bessays dedicated to Nissim Francez on the occasion of his 65th birthday /$cOrna Grumberg [and others] (eds.).
260 $aBerlin :$bSpringer,$c2009.
300 $ax, 244 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aLecture notes in computer science,$x0302-9743 ;$v5533
490 1 $aFestschrift
500 $aInternational conference proceedings.
500 $aFestschrift.
504 $aIncludes bibliographical references and index.
650 0 $aProgramming languages (Electronic computers)$0http://id.loc.gov/authorities/subjects/sh85107313
650 4 $aFormale Sprache$vKongress$zHaifa <2009>.
650 4 $aNatürliche Sprache$xLinguistische Datenverarbeitung$vKongress$zHaifa <2009>.
650 4 $aProgrammverifikation$vKongress$zHaifa <2009>.
700 1 $aGrumberg, Orna.$0http://id.loc.gov/authorities/names/nb97057888
700 1 $aFrancez, Nissim.$0http://id.loc.gov/authorities/names/n85369160
830 0 $aLecture notes in computer science ;$v5533.$0http://id.loc.gov/authorities/names/n42015162
830 0 $aLecture notes in computer science.$pFestschrift.$0http://id.loc.gov/authorities/names/no2005044237
852 00 $boff,eng$hQA76.7$i.L383 2009g