Algebraic Methodology and Software Technology ; 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
- Author
- José Meseguer, Grigore Roşu
- Publication Year
- 2008
- Publisher
- Springer
- Language
- English
- Document Type
- Book
- Faculty / Subject Heading
- Computer Science
- Download Book Read 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.
Keywords: Computer science / Constraint / Evolution / Formal method / Formal specification / Functional programming / Logic / Object / Programming / Proving / Structured analysis / Theorem proving / Verification / Programming Techniques / Software Engineering / Programming / Operating systems / Programming Languages, Compilers, Interpreters / Logics and Meanings of Programs / Mathematical Logic and Formal Languages
