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 edition 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
3642145388 9783642145384
|
zzzz
|
3
Specification and verification of declarative open interaction models: a logic-based approach
2010, Springer
in English
364214537X 9783642145377
|
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
History
- Created April 24, 2020
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| April 24, 2020 | Created by ImportBot | Imported from amazon.com record |