Formal methods for distributed processing : a survey of object-oriented approaches /

Other Authors: Bowman, Howard,, Derrick, John,
Format: Book
Language:English
Published: Cambridge, UK : Cambridge University Press, 2001.
Subjects:
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