| Record ID | ia:algebraicsemanti0000gogu |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/algebraicsemanti0000gogu/algebraicsemanti0000gogu_marc.xml |
| Download MARC binary | https://www.archive.org/download/algebraicsemanti0000gogu/algebraicsemanti0000gogu_meta.mrc |
LEADER: 00796cam a2200241 a 4500
001 95047440
003 DLC
005 19980813092119.1
008 951026s1996 maua b 001 0 eng
010 $a 95047440
020 $a026207172X (hc : alk. paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.7$b.G62 1996
082 00 $a005.13/1$220
100 1 $aGoguen, Joseph.
245 10 $aAlgebraic semantics of imperative programs /$cJoseph A. Goguen and Grant Malcolm.
260 $aCambridge, Mass. :$bMIT Press,$cc1996.
300 $avii, 228 p. :$bill. ;$c24 cm.
440 0 $aFoundations of computing
504 $aIncludes bibliographical references (p. [223]-225) and index.
650 0 $aProgramming languages (Electronic computers)$xSemantics.
650 0 $aAlgebra.
700 1 $aMalcolm, Grant.