| Record ID | marc_loc_updates/v38.i38.records.utf8:1396942:975 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v38.i38.records.utf8:1396942:975?format=raw |
LEADER: 00975cam a2200253 a 4500
001 88155952
003 DLC
005 20100917104130.0
008 880630s1987 cau b 000 0 eng
010 $a 88155952
040 $aDLC$cDLC$dDLC
050 00 $aQA76.9.A23$bG64 1987
082 00 $a005.7/3$220
100 1 $aGoguen, Joseph.
245 10 $aOrder-sorted algebra solves the constructor-selector, multiple representation and coercion problems /$cJoseph A. Goguen and José Meseguer.
260 $aMenlo Park, CA (333 Ravenwood Ave., Menlo Park 94025) :$bCSLI/SRI International,$cc1987.
300 $a22 p. ;$c28 cm.
440 0 $aReport / Center for the Study of Language and Information ;$vno. CSLI-87-92
500 $a"March 1987."
504 $aBibliography: p. 21-22.
650 0 $aAbstract data types (Computer science)
650 0 $aAlgebra.
700 1 $aMeseguer, José.
830 0 $aReport (Center for the Study of Language and Information (U.S.)) ;$vno. CSLI-87-92.