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-
|