Search - List of Books by Francez Nissim

Total Books: 2
Interacting Processes A Multiparty Approach to Coordinated Distributed Programming
1996 - Interacting Processes a Multiparty Approach to Coordinated Distributed Programming [Acm Press Books] (Hardcover)
ISBN-13: 9780201565287
ISBN-10: 0201565285
Genres: Computers & Technology, Substores
  ?

Program Verification
1992 - Program Verification [International Computer Science Series] (Hardcover)
ISBN-13: 9780201416084
ISBN-10: 0201416085
Genre: Computers & Technology
  ?