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

Name: Specification and Verification of Declarative Open Interaction Models : A Logic-Based Approach
Price: 51.31 USD
Availability: InStock
Author: Montali, Marco
ISBN: 9783642145377

by Montali, Marco

Marketplace Prices
New from $51.31
Used from $129.95

Used
$129.95
New
$51.31

List Price

~~$95.00~~

Discount

45% Off

You Save

$43.69

Recommended

Item Details
Condition: New
Provider: LightningBooks
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

Item Details
Condition: Good
Provider: Bonita
Provider Rating:

0%
Ships From: Multiple Locations
Shipping: Standard
Comments: Access codes and supplements are not guaranteed with used items. May be an ex-library book.

ISBN-13: 9783642145377
ISBN: 364214537X
Publication Date: 2010
Publisher: Springer

AUTHOR

Montali, Marco

SUMMARY

Montali, Marco is the author of 'Specification and Verification of Declarative Open Interaction Models : A Logic-Based Approach', published 2010 under ISBN 9783642145377 and ISBN 364214537X.

[read more]