| Record ID | harvard_bibliographic_metadata/ab.bib.00.20150123.full.mrc:646406487:786 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.00.20150123.full.mrc:646406487:786?format=raw |
LEADER: 00786cam a2200241 i 4500
001 000786139-7
005 20060710134010.0
008 780406s1978 wb b 00000 eng
010 $a 78007232
020 $a0387087666
035 0 $aocm03843153
040 $aDLC$cDLC$dOCL
245 04 $aThe Vienna development method :$bthe Meta-language /$cedited by D. Bjørner and C. B. Jones.
246 3 $aMeta-language.
260 0 $aBerlin ;$aNew York :$bSpringer-Verlag,$c1978.
300 $axv, 382 p. ;$c25 cm.
440 0 $aLecture notes in computer science ;$v61
504 $aBibliography: p. [375]-382.
650 0 $aProgramming languages (Electronic computers)
700 1 $aBjørner, D.$q(Dines),$d1937-
700 1 $aJones, C. B.$q(Cliff B.),$d1944-
988 $a20020608
906 $0DLC