Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach by Montali, Marco

Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach (Paperback) (ISBN-13: 9783642145377)

Vendor: Marco Montali
Product type: Books
Format: Paperback
$54.99
$54.99
$54.99
Subtotal: $54.99
Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach by Montali, Marco

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

$54.99
Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach by Montali, Marco

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

$54.99
Format: Paperback
Description
Description
x
Addressing fundamental questions on modeling abstractions, this volume explores the integration and extension of diverse approaches to logic-based frameworks. This framework allows non-experts to graphically specify interaction models, which are then transformed into a corresponding formal representation.

Author: Marco Montali
ISBN-10: 364214537X
ISBN-13: 9783642145377
Publisher: Springer
Language: English
Published: 07/30/2010
Pages: 411
Format: Paperback
Weight: 1.45lbs
Size: 9.20h x 6.10w x 0.90d

Recently Viewed Products