| Record ID | marc_loc_2016/BooksAll.2016.part11.utf8:50407234:771 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part11.utf8:50407234:771?format=raw |
LEADER: 00771cam a2200241 i 4500
001 78007232
003 DLC
005 20111220083529.0
008 780406s1978 gw b 000 0 eng
010 $a 78007232
020 $a0387087666
040 $aDLC$cDLC$dDLC
050 00 $aQA76.7$b.V53
082 00 $a001.6/424
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 p. ;$c25 cm.
440 0 $aLecture notes in computer science ;$v61
504 $aBibliography: p. [375]-382.
650 0 $aML (Computer program language)
700 1 $aBjørner, D.$q(Dines),$d1937-
700 1 $aJones, C. B.$q(Cliff B.),$d1944-
740 $aMeta-language.