| Record ID | marc_columbia/Columbia-extract-20221130-002.mrc:129978886:1788 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-002.mrc:129978886:1788?format=raw |
LEADER: 01788cam a2200349 a 4500
001 604938
005 20220525205613.0
008 871023s1987 ne a b 101 0 eng d
020 $a0444702539 :$c$90.25
035 $a(OCoLC)220653751
035 $a(OCoLC)ocn220653751
035 $a(CStRLIN)NYCG87-B84961
035 $9ACQ9881CU
035 $a(NNC)604938
035 $a604938
040 $aNNC$cNNC
090 $aQA76.6$b.I25 1986g
111 2 $aIFIP Working Conference on Formal Description of Programming Concepts$d(1986 :$cEbberup, Denmark)
245 10 $aFormal description of programming concepts - III :$bproceedings of the IFIP TC 2/WG 2.2 working conference on formal description of Programming Concepts, Ebberup, Denmark, 25-28 August, 1986 /$cedited by Martin Wirsing.
260 $aAmsterdam ;$aNew York :$bNorth-Holland ;$aNew York, N.Y. :$bSole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,$c1987.
300 $axii, 453 pages :$billustrations ;$c24 cm
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
500 $a"Organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing"--P. facing t.p.
504 $aIncludes bibliogrphies and index.
650 0 $aComputer programming$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2007004295
650 0 $aFormal languages$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008104060
700 1 $aWirsing, M.$q(Martin)$0http://id.loc.gov/authorities/names/n85281290
710 2 $aIFIP Technical Committee 2--Programming.$0http://id.loc.gov/authorities/names/n79106206
710 2 $aIFIP Working Group 2.2.$0http://id.loc.gov/authorities/names/n91059707
852 00 $boff,eng$hQA76.6$i.I25 1986g