Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings (Lecture Notes in Computer Science)

Haeberer, Armando M. [Editor]

ISBN 10: 3540654623 / ISBN 13: 9783540654629

Published by Springer, 1998

About this Item

Ex-library paperback in very nice condition with the usual markings and attachments.

Seller Inventory # UTD1421034

Bibliographic Details

• Title: Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings (Lecture Notes in Computer Science)
• Publisher: Springer
• Publication Date: 1998
• Language: English
• ISBN 10: 3540654623
• ISBN 13: 9783540654629
• Binding: Paperback
• Condition: Very Good
• Weight: 28 ounces

About this title

Synopsis

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.