Skip to content
Home/ Algebraic Methodology and Software Technology: 5th International Conference, Amast '96 Munich, Germa
Algebraic Methodology and Software Technology: 5th International Conference, Amast '96 Munich, Germa

Algebraic Methodology and Software Technology: 5th International Conference, Amast '96 Munich, Germa

No customer reviews yet ISBN 9783540614630

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.
The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations.

About the author

Product details

Pub dateJun 19, 1996
ISBN-10354061463X
ISBN-139783540614630
LanguageEnglish
Last updated 2026-07-28 04:04
$114.64
In stock — ships in 24 hours with free tracking
Delivery by Wednesday, September 16, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Category
See all