26593441
9783642145377
Out of Stock
The item you're looking for is currently unavailable.
Montali, Marco is the author of 'Specification and Verification of Declarative Open Interaction Models : A Logic-Based Approach', published 2010 under ISBN 9783642145377 and ISBN 364214537X.
[read more]