| Record ID | marc_columbia/Columbia-extract-20221130-001.mrc:137441707:1359 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-001.mrc:137441707:1359?format=raw |
LEADER: 01359cam a2200373 i 4500
001 110351
005 20220518200339.0
008 821022s1978 gw b 000 0 eng
010 $a 78007232
020 $z0387087666
035 $a(OCoLC)3843153
035 $a(OCoLC)ocm03843153
035 $a(CStRLIN)NYCG82-B53053
035 $9AAM7461CU
035 $a(NNC)110351
035 $a110351
040 $dNNC
050 00 $aQA76.7$b.V53
082 0 $a001.6/424
090 $aQA76.7$b.V53
245 04 $aThe Vienna development method :$bthe Meta-language /$cedited by D. Bjørner and C. B. Jones.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$c1978.
300 $axv, 382 pages ;$c25 cm.
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
490 1 $aLecture notes in computer science ;$v61
504 $aBibliography: p. [375]-382.
650 0 $aProgramming languages (Electronic computers)$0http://id.loc.gov/authorities/subjects/sh85107313
700 1 $aBjørner, D.$q(Dines),$d1937-$0http://id.loc.gov/authorities/names/n82058414
700 1 $aJones, C. B.$q(Cliff B.),$d1944-$0http://id.loc.gov/authorities/names/n78018740
740 0 $aMeta-language.
830 0 $aLecture notes in computer science ;$v61.$0http://id.loc.gov/authorities/names/n42015162
852 00 $boff,eng$hQA76.7$i.V53