Formal methods for distributed processing : a survey of object-oriented approaches / ed. by Howard Bowman, John Derrick. Paperback ed.

    Cambridge [etc.] : Cambridge University Press, 2010. X, 480 s. : il. ; 25 cm.
    ISBN 9780521771849     ISBN 9780521168755

   
T.18270        UKD: 004.045:004.75]=111