Wow! eBookSpecification and Verification of Declarative Open Interaction Models: A Logic-Based Approach (Lecture Notes in Business Information Processing)
Hardcover: 411 pages
Publisher: Springer (July 30, 2010)
Language: English
ISBN-10: 364214537X
Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach (Lecture Notes in Business Information Processing)
Hardcover: 411 pages
Publisher: Springer (July 30, 2010)
Language: English
ISBN-10: 364214537X
