Related Books
Language: en
Pages: 542
Pages: 542
Type: BOOK - Published: 2003-05-20 - Publisher: Springer
AMAST’s goal is to advance awareness of algebraic and logical methodology as part of the fundamental basis of software technology. Ten years and seven confere
Language: en
Pages: 660
Pages: 660
Type: BOOK - Published: 1996-06-19 - Publisher: Springer Science & Business Media
Content Description #Includes bibliographical references and index.
Language: en
Pages: 442
Pages: 442
Type: BOOK - Published: 2008-07-15 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana
Language: en
Pages: 612
Pages: 612
Type: BOOK - Published: 1997-12 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, AMAST'97, held in Sydney,
Language: en
Pages: 399
Pages: 399
Type: BOOK - Published: 2006-06-27 - Publisher: Springer Science & Business Media
This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and Software Technology. The book collects 24 revised full papers