Specification and verification of declarative open interaction models

by Marco Montali

424 pages · English

Find on Amazon Find in a library

As an Amazon Associate I earn from qualifying purchases.

Amazon opens a search, not a verified edition. Check format, price and availability there.

Book details

PhilosophyTechnology

Catalogue length: 424 pages. Length can vary by edition.

Catalogue: Open Library OL16643726W; genres from Open Library subjects; summary generated from catalogue fields · Cover: Open Library Covers (display via covers.openlibrary.org; publisher artwork)