Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach Lecture Notes in Business Information Processing, nr. 56 Autor Marco Montali 30 iul 2010 Paperback Preț: 328.16 lei 410.20 lei 3-5 săpt. -20%