Book Details


Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Publication year: 2008

ISBN: 978-3-540-79980-1

Internet Resource: Please Login to download book

This book 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.

Subject: Computer Science, Constraint, evolution, formal method, formal specification, functional programming, logic, object, programming, proving, structured analysis, theorem proving, verification, Programming Techniques, Software Engineering, Programming and Operating Systems, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Mathematical Logic and Formal Languages