Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach (Lecture Notes in Business Information Processing, Band 56)

Verification

von Marco Montali

Taschenbuch

EAN=ISBN-13: 978-3-642-14537-7

ISBN-10: 3-642-14537-X

Springer · 2010