| Record ID | marc_loc_2016/BooksAll.2016.part22.utf8:108395402:977 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part22.utf8:108395402:977?format=raw |
LEADER: 00977cam a2200253 a 4500
001 92249094
003 DLC
005 20050719110114.0
008 921214s1992 enka b 001 0 eng
010 $a 92249094
020 $a0521420369;
040 $aDLC$cDLC$dDLC
050 00 $aQA76.7$b.M342 1992
082 00 $a005.13/1$220
100 1 $aManes, Ernest G.,$d1943-
245 10 $aPredicate transformer semantics /$cErnest G. Manes.
260 $aCambridge ;$aNew York :$bCambridge University Press,$c1992.
300 $a223 p. :$bill. ;$c26 cm.
440 0 $aCambridge tracts in theoretical computer science ;$v33
504 $aIncludes bibliographical references (p. 216-220) and index.
650 0 $aProgramming languages (Electronic computers)$xSemantics.
650 0 $aComputer science$xMathematics.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/description/cam025/92249094.html
856 41 $3Table of contents$uhttp://www.loc.gov/catdir/toc/cam029/92249094.html