Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings

This title is printed to order. This book may have been self-published. If so, we cannot guarantee the quality of the content. In the main most books will have gone through the editing process however some may not. We therefore suggest that you be aware of this before ordering this book. If in doubt check either the author or publisher’s details as we are unable to accept any returns unless they are faulty. Please contact us if you have any questions.

This book constitutes the refereed proceedings of the 7th International Conference on Algebraic Methodology and Software Technology, AMAST'98, held in Amazonia, Brazil in January 1999. The 29 revised full papers presented were carefully selected from a total of 80 submissions. Also included are extended abstracts of six invited survey talks and three system descriptions. The papers span the whole range of algebraic methods in software engineering. Among the topics addressed are algebraic semantics, algebraic specification, model checking, logics for real-time and reactive systems, modal logics, term rewriting, formal verification, process algebras, type systems, etc.