Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes in Computer Science, Band 5140)

Methodology

von: José Meseguer · Grigore Rosu

Taschenbuch

ISBN: 978-3-540-79979-5

ISBN-10: 3-540-79979-6

Springer · 2008