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

• 作者：edited by Howard Bowman, John Derrick.
• 出版者：Cambridge University Press
• 出版地：Cambridge, UK :
• 語文：英語
• ISBN/ISSN/ISRC：9780521168755 : ; 9780521771849 :
• 作者：Bowman, Howard;Derrick, John
• 索書號：005.117