【4周达】Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach [9783642145377]

已售0