An edition of Specification and verification of declarative open interaction models
(2010)
Specification and Verification of Declarative Open Interaction Models
A Logic-Based Approach
by Marco Montali
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach
Mar 23, 2011, Springer
paperback
3642145396 9783642145391
|
aaaa
|
2
Specification and verification of declarative open interaction models: a logic-based approach
2010, Springer
in English
364214537X 9783642145377
|
zzzz
|
3
Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach
2010, Springer
in English
3642145388 9783642145384
|
zzzz
|
Book Details
Edition Notes
Source title: Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| February 26, 2022 | Edited by ImportBot | import existing book |
| September 25, 2020 | Edited by MARC Bot | import existing book |
| May 23, 2012 | Created by LC Bot | import new book |