Specification and Verification of Declarative Open Interaction Models - Info and Reading Options
A Logic-Based Approach
By Marco Montali
"Specification and Verification of Declarative Open Interaction Models" is published by Springer in Mar 23, 2011 and it has 436 pages.
“Specification and Verification of Declarative Open Interaction Models” Metadata:
- Title: ➤ Specification and Verification of Declarative Open Interaction Models
- Author: Marco Montali
- Number of Pages: 436
- Publisher: Springer
- Publish Date: Mar 23, 2011
“Specification and Verification of Declarative Open Interaction Models” Subjects and Themes:
- Subjects: ➤ Computer logic - Computational intelligence - Declarative programming languages - Management information systems - Information technology - Business
Edition Specifications:
- Format: paperback
Edition Identifiers:
- The Open Library ID: OL27952280M - OL16643726W
- ISBN-13: 9783642145391
- ISBN-10: 3642145396
- All ISBNs: 3642145396 - 9783642145391
AI-generated Review of “Specification and Verification of Declarative Open Interaction Models”:
Read “Specification and Verification of Declarative Open Interaction Models”:
Read “Specification and Verification of Declarative Open Interaction Models” by choosing from the options below.
Search for “Specification and Verification of Declarative Open Interaction Models” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Specification and Verification of Declarative Open Interaction Models” in Libraries Near You:
Read or borrow “Specification and Verification of Declarative Open Interaction Models” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Specification and Verification of Declarative Open Interaction Models” at a library near you.
Buy “Specification and Verification of Declarative Open Interaction Models” online:
Shop for “Specification and Verification of Declarative Open Interaction Models” on popular online marketplaces.
- Ebay: New and used books.