2001 - Concurrency Verification Introduction to Compositional and Noncompositional Methods (Hardcover) ISBN-13: 9780521806084 ISBN-10: 0521806089 Genres: Computers & Technology, Reference ? |
2001 - Concurrency Verification Introduction to Compositional and Noncompositional Methods (Hardcover) ISBN-13: 9780521806084 ISBN-10: 0521806089 Genres: Computers & Technology, Reference ? |