Specification and Verification of Declarative Open Interaction Models : A Logic-Based Approach

ISBN
9783642145377
$129.00
Author Montali, Marco
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2010
  • xxii, 411
  • Yes
  • 56
  • UYQ K KJQ UB
  • QA75.5-76.95