1996 - Interacting Processes a Multiparty Approach to Coordinated Distributed Programming [Acm Press Books] (Hardcover) ISBN-13: 9780201565287 ISBN-10: 0201565285 Genres: Computers & Technology, Substores ? 1992 - Program Verification [International Computer Science Series] (Hardcover) ISBN-13: 9780201416084 ISBN-10: 0201416085 Genre: Computers & Technology ? |