Algebraic Methodology and Software Technology ; 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
- المؤلف
- José Meseguer, Grigore Roşu
- سنة النشر
- 2008
- الناشر
- Springer
- لغة الملف
- انكليزي
- نوع الملف
- Book
- تصنيف الكتاب
- Computer Science
- تحميل الكتاب قراءة الكتاب
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.
الكلمات المفتاحية: 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
