|
|
|
|
LEADER |
01107nam a2200229 a 4500 |
001 |
541654 |
005 |
20171111230006.0 |
008 |
010228s2001 enka b 001 0 eng |
020 |
|
|
|a 0521771846 (hbk.)
|
040 |
|
|
|a DLC
|
050 |
|
|
|a QA76.9.D5
|b F662 2001
|
082 |
|
|
|2 21
|a 005.1/17
|
245 |
|
|
|a Formal methods for distributed processing :
|b a survey of object-oriented approaches /
|c edited by Howard Bowman, John Derrick.
|
260 |
|
|
|a Cambridge, UK :
|b Cambridge University Press,
|c 2001.
|
300 |
|
|
|a x, 480 p. :
|b ill. ;
|c 26 cm.
|
504 |
|
|
|a Includes bibliographical references and index.
|
505 |
|
|
|a pt. 1. Object-Oriented Distributed Systems -- pt. 2. Specification Notations -- pt. 3. Dynamic reconfiguration -- pt. 4. Subtyping -- pt. 5. Concurrent 00 Languages -- pt. 6. Nonfunctional Requirements -- pt. 7. Development Architectures.
|
650 |
|
|
|a Electronic data processing
|x Distributed processing
|
650 |
|
|
|a Object-oriented programming (Computer science)
|
700 |
1 |
|
|a Bowman, Howard,
|
700 |
1 |
|
|a Derrick, John,
|
952 |
|
|
|a GrThPMO
|b 59b009ad6c5ad17d7e5aa6af
|c 952a
|d 9528
|e QA76.9.D5F662 2001
|t 7
|x m
|z Books
|