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" was published by Springer in 2010 and the language of the book is English.
“Specification and Verification of Declarative Open Interaction Models” Metadata:
- Title: ➤ Specification and Verification of Declarative Open Interaction Models
- Author: Marco Montali
- Language: English
- Publisher: Springer
- Publish Date: 2010
“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:
- Pagination: xxii, 411
Edition Identifiers:
- The Open Library ID: OL37387656M - OL16643726W
- ISBN-13: 9783642145384
- All ISBNs: 9783642145384
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.