Related Books
Language: en
Pages:
Pages:
Type: BOOK - Published: 1989 - Publisher:
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 1989 - Publisher:
Partial contents include: (1) Minimal Finite Transition Systems, (2) Algebra of Communicating Processes, (3) Display of Graphics and their Applications, as Exem
Language: en
Pages: 206
Pages: 206
Type: BOOK - Published: 1989 - Publisher:
Language: en
Pages: 556
Pages: 556
Type: BOOK - Published: 2003-06-26 - Publisher: Springer
The AMAST movement was initiated in 1989 with the First International C- ference on Algebraic Methodology and Software Technology (AMAST), held on May 21{23in I
Language: en
Pages: 429
Pages: 429
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathem