//]]>
Specification and verification of declarative open interaction models : , a logic-based approach / by Montali, Marco. Publication: Berlin : Springer, 2010 . xxii, 411 p. : 24 cm. Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Specification and Verification of Declarative Open Interaction Models by Montali, Marco. Publication: . XXII, 411p. 97 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Languages: 
English |
العربية