ISBN 9783540799795,Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

Rs4030 Rs5812 31% OFF

Availability: Available

Usually ships in: 2-3 business days

(Free Delivery)

We Accept
ISBN 9783540799795
Check delivery information
 
ISBN 9783540799795
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