MARC record from Internet Archive

LEADER: 03295cam 2200793 a 4500
001 ocm16901056
003 OCoLC
005 20181010103640.0
008 871008s1988 maua b 001 0 eng
010 $a 87029699
040 $aDLC$beng$cDLC$dUKM$dEL$$dMUQ$dBAKER$dBTCTA$dYDXCP$dOCLCQ$dDEBBG$dZWZ$dOCLCQ$dGBVCP$dOCLCO$dOCLCF$dOCLCQ$dTXI$dOCLCQ$dOCLCO
015 $aGB8863194$2bnb
019 $a18814502
020 $a0262081717
020 $a9780262081719
035 $a(OCoLC)16901056$z(OCoLC)18814502
050 00 $aQA76.9.M35$bH46 1988
082 00 $a004/.01/51$219
084 $aDAT 510f$2stub
084 $aST 120$2rvk
084 $aST 130$2rvk
084 $aST 134$2rvk
084 $a*68Q10$2msc
084 $a54.10$2bcl
084 $a68-02$2msc
084 $a68Q60$2msc
100 1 $aHennessy, Matthew.
245 10 $aAlgebraic theory of processes /$cMatthew Hennessy.
260 $aCambridge, Mass. :$bMIT Press,$c℗♭1988.
300 $avi, 272 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
490 1 $aMIT Press series in the foundations of computing
504 $aIncludes bibliographical references (pages 268-270) and index.
505 0 $a[Pt.] I. Finite processes -- Algebras -- Testing processes -- [pt.] II. Recursive processes -- Continuous algebras -- Recursive processes -- [pt.] III. Communicating processes -- Communicating processes.
650 0 $aComputer science$xMathematics.
650 0 $aProgramming languages (Electronic computers)$xSemantics.
650 0 $aAlgebra, Abstract.
650 6 $aInformatique$xMathe matiques.
650 6 $aAlge bre abstraite.
650 6 $aLangages de programmation$xSe mantique.
650 7 $aAlgebra, Abstract.$2fast$0(OCoLC)fst00804919
650 7 $aComputer science$xMathematics.$2fast$0(OCoLC)fst00872460
650 7 $aProgramming languages (Electronic computers)$xSemantics.$2fast$0(OCoLC)fst01078716
650 7 $aAlgebraische Struktur$2gnd
650 7 $aInformatik$2gnd
650 7 $aUniverselle Algebra$2gnd
650 7 $aAlge bre abstraite.$2ram
650 7 $aInformatique$xMathe matiques.$2ram
650 7 $aLangages de programmation$xSe mantique.$2ram
653 $aAbstract algebra - For computer sciences
776 08 $iOnline version:$aHennessy, Matthew.$tAlgebraic theory of processes.$dCambridge, Mass. : MIT Press, ℗♭1988$w(OCoLC)571414215
776 08 $iOnline version:$aHennessy, Matthew.$tAlgebraic theory of processes.$dCambridge, Mass. : MIT Press, ℗♭1988$w(OCoLC)609747121
830 0 $aMIT Press series in the foundations of computing.
856 42 $uhttp://www.zentralblatt-math.org/zmath/en/search/?an=0744.68047$3Inhaltstext
938 $aBaker & Taylor$bBKTY$c52.50$d52.50$i0262081717$n0001385436$sactive
938 $aBaker and Taylor$bBTCP$n87029699 //r90
938 $aYBP Library Services$bYANK$n147038
029 1 $aAU@$b000005571951
029 1 $aDEBBG$bBV002138343
029 1 $aDEBSZ$b01427308X
029 1 $aGBVCP$b025179934
029 1 $aHEBIS$b025004778
029 1 $aNLGGC$b041779398
029 1 $aNZ1$b3893810
029 1 $aYDXCP$b147038
994 $aZ0$bP4A
948 $hNO HOLDINGS IN P4A - 322 OTHER HOLDINGS