This IFIP state-of-the-art report presents a collection of fundamental high-quality contributions on the algebraic foundations of systems specification. The contributions cover and survey current topics and recent advances, and address such subjects as: the role of formal specification, algebraic preliminaries, partiality, institutions, specification semantics, structuring, refinement, specification languages, term rewriting, deduction and proof systems, object specification, concurrency, and the development process. The ...
Read More
This IFIP state-of-the-art report presents a collection of fundamental high-quality contributions on the algebraic foundations of systems specification. The contributions cover and survey current topics and recent advances, and address such subjects as: the role of formal specification, algebraic preliminaries, partiality, institutions, specification semantics, structuring, refinement, specification languages, term rewriting, deduction and proof systems, object specification, concurrency, and the development process. The authors are well-known experts in the field. The book is an outcome of IFIP WG 1.3 (Foundations of Systems Specification) in cooperation with Esprit Basic Research WG COMPASS, and provides the foundations of the algebraic specification language CASL designed in the CoFI (Common Framework Initiative for Algebraic Specification and Development) project. It is aimed at system developers, researchers, and students.
Read Less
Add this copy of Algebraic Foundations of Systems Specification (Ifip to cart. $17.99, very good condition, Sold by More Than Words rated 4.0 out of 5 stars, ships from Waltham, MA, UNITED STATES, published 1999 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. Former Library book. All orders guaranteed and ship within 24 hours. Your purchase supports More Than Words, a nonprofi t job training program for youth, empowering youth to take charge of their lives by taking charge of a business.
Add this copy of Algebraic Foundations of Systems Specification to cart. $72.18, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 1999 by Springer.
Add this copy of Algebraic Foundations of Systems Specification to cart. $72.68, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 1999 by Springer.
Add this copy of Algebraic Foundations of Systems Specification to cart. $98.87, new condition, Sold by Media Smart rated 3.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES, published 1999 by Springer.