Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series)

(6)
Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series) image
ISBN-10:

3642073069

ISBN-13:

9783642073069

Edition: Softcover reprint of hardcover 1st ed. 2004
Released: Dec 01, 2010
Publisher: Springer
Format: Paperback, 339 pages
Related ISBN: 9783540402572

Description:

The first book to integrate various model-based software specification approaches. The integration approach is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches. These range from formal specification techniques like process calculi, Petri nets and rule-based formalisms to semiformal software modeling languages like those in the UML family.

Best prices to buy, sell, or rent ISBN 9783642073069




Frequently Asked Questions about Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series)

You can buy the Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series) book at one of 20+ online bookstores with BookScouter, the website that helps find the best deal across the web. Currently, the best offer comes from and is $ for the .

The price for the book starts from $110.43 on Amazon and is available from 9 sellers at the moment.

If you’re interested in selling back the Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series) book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.

As for the Semantic Integration of Heterogeneous Software Specifications (Monographs in Theoretical Computer Science. An EATCS Series) book, the best buyback offer comes from and is $ for the book in good condition.

Not enough insights yet.

Not enough insights yet.