| Record ID | marc_columbia/Columbia-extract-20221130-003.mrc:260493609:1310 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-003.mrc:260493609:1310?format=raw |
LEADER: 01310mam a2200325 a 4500
001 1234974
005 20220602000139.0
008 921214s1992 enka b 001 0 eng
010 $a 92249094
020 $z0521420369;
035 $a(OCoLC)ocm27085616
035 $9AGW0418CU
035 $a(NNC)1234974
035 $a1234974
040 $aDLC$cDLC
050 00 $aQA76.7$b.M342 1992
082 00 $a005.13/1$220
100 1 $aManes, Ernest G.,$d1943-$0http://id.loc.gov/authorities/names/n85374075
245 10 $aPredicate transformer semantics /$cErnest G. Manes.
260 $aCambridge ;$aNew York :$bCambridge University Press,$c1992.
300 $a223 pages :$billustrations ;$c26 cm.
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
490 1 $aCambridge tracts in theoretical computer science ;$v33
504 $aIncludes bibliographical references (p. 216-220) and index.
650 0 $aProgramming languages (Electronic computers)$xSemantics.$0http://id.loc.gov/authorities/subjects/sh85107316
650 0 $aComputer science$xMathematics.$0http://id.loc.gov/authorities/subjects/sh85042295
830 0 $aCambridge tracts in theoretical computer science ;$v33.$0http://id.loc.gov/authorities/names/n86714937
852 00 $boff,eng$hQA76.7$i.M342 1992