Á lódáil...
A distributed pi-calculus /
Príomhúdar: | |
---|---|
Formáid: | Printed Book |
Teanga: | English |
Foilsithe: |
Cambridge :
Cambridge University Press,
c2007.
|
Ábhair: | |
Rochtain Ar Líne: | Contributor biographical information Publisher description Table of contents only |
LEADER | 01370cam a22003137a 4500 | ||
---|---|---|---|
008 | 070625s2007 enk b 001 0 eng d | ||
999 | |c 334362 |d 334362 | ||
010 | |a 2007275190 | ||
015 | |a GBA689913 |2 bnb | ||
016 | 7 | |a 013583974 |2 Uk | |
020 | |a 9780521873307 (hbk.) | ||
020 | |a 0521873304 (hbk.) | ||
035 | |a (OCoLC)ocm74523316 | ||
042 | |a ukblsr |a lccopycat | ||
082 | 0 | 4 | |a 004.36 |2 22 |
100 | 1 | |a Hennessy, Matthew. | |
245 | 1 | 2 | |a A distributed pi-calculus / |c Matthew Hennessy. |
260 | |a Cambridge : |b Cambridge University Press, |c c2007. | ||
300 | |a xvi, 259 p. ; |c 26 cm. | ||
504 | |a Includes bibliographical references and index. | ||
650 | 0 | |a Electronic data processing |x Distributed processing. | |
650 | 0 | |a Pi-calculus. | |
856 | 4 | 2 | |3 Contributor biographical information |u http://www.loc.gov/catdir/enhancements/fy0803/2007275190-b.html |
856 | 4 | 2 | |3 Publisher description |u http://www.loc.gov/catdir/enhancements/fy0803/2007275190-d.html |
856 | 4 | 1 | |3 Table of contents only |u http://www.loc.gov/catdir/enhancements/fy0803/2007275190-t.html |
942 | |c BK | ||
906 | |a 7 |b cbc |c copycat |d 3 |e ncip |f 20 |g y-gencatlg | ||
955 | |a pv03 2007-06-25 z-processor to ASCD |i jx12 2007-07-18 |a lk13 2007-07-31 copy 2 added | ||
952 | |0 0 |1 0 |2 ddc |4 0 |6 004_360000000000000 |7 0 |9 382343 |a MAT |b MAT |c ST1 |d 2019-04-25 |i 7506 |l 0 |o 004.36 |p MAT7506 |r 2019-04-25 |w 2019-04-25 |y BK |