Reihe Lecture Notes in Business Information ProcessingMarco Montali × Specification and Verification of Declarative Open Interaction ModelsA Logic-Based ApproachMarco MontaliSpringer BerlinSoftcover201053,49 € Specification and Verification of Declarative Open Interaction ModelsA Logic-Based ApproachMarco MontaliSpringer BerlineBook201053,49 €
