1995 - Computeraided Verification of Coordinating Processes (Hardcover) ISBN-13: 9780691034362 ISBN-10: 0691034362 Genres: Computers & Technology, Science & Math, Engineering & Transportation ? |
1995 - Computeraided Verification of Coordinating Processes (Hardcover) ISBN-13: 9780691034362 ISBN-10: 0691034362 Genres: Computers & Technology, Science & Math, Engineering & Transportation ? |