| 008 |
|
121213s2010 enka b 001 0 eng |
| 020 |
|
|a9780521168755 : |c(pbk.)
|
| 020 |
|
|a9780521771849 : |c(hbk.)
|
| 040 |
|
|aTMUE|beng|eaacr
|
| 050 |
4
|
|aQA76.9.D5|bF662 2010
|
| 082 |
04
|
|a005.117|222
|
| 245 |
00
|
|aFormal methods for distributed processing : |ba survey of object-oriented approaches / |cedited by Howard Bowman, John Derrick.
|
| 250 |
|
|a1st pbk. ed.
|
| 260 |
|
|aCambridge, UK : |bCambridge University Press, |c2010.
|
| 300 |
|
|ax, 480 p. : |bill. ; |c26 cm.
|
| 504 |
|
|aIncludes bibliographical references and indexes.
|
| 650 |
0
|
|aElectronic data processing|xDistributed processing.
|
| 650 |
0
|
|aObject-oriented programming (Computer science)
|
| 700 |
1
|
|aBowman, Howard, |d1966-
|
| 700 |
1
|
|aDerrick, John, |d1963-
|
借閱次數
: 
點閱：216
評分：0
評論：0
引用：0
