ISBN 9783540799795,Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

Rs5579

Publisher

Ingram Publisher Services

Publication Year 2008
ISBN-13

ISBN 9783540799795

ISBN-10 3540799796
Binding

Paperback

Number of Pages 445 Pages
Subject

Algorithms & data structures

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.
Scroll