Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering)

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering)

by JoséMeseguer (Editor), Grigore Rosu (Editor)

Synopsis

Constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. This work covers object paradigms, programming calculi, specification languages and tools, logic, category theory, relation algebra, and computational algebra.

$79.51

Quantity

10 in stock

More Information

Format: Paperback
Pages: 432
Publisher: Springer
Published: 15 Jul 2008

ISBN 10: 3540799796
ISBN 13: 9783540799795