Related Books

Algebraic Methodology and Software Technology (AMAST '91)
Language: en
Pages: 596
Authors: M. Nivat
Categories: Abstract data types (Computer science)
Type: BOOK - Published: 1992 - Publisher: Springer

DOWNLOAD EBOOK

Algebraic Methodology and Software Technology (AMAST’93)
Language: en
Pages: 429
Authors: Maurice Nivat
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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
Algebraic Methodology and Software Technology (AMAST'91)
Language: en
Pages: 598
Authors: Maurice Nivat
Categories: Computers
Type: BOOK - Published: 1992 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the proceedings of the Second International Conference on Algebraic Methodology and Software Technology (AMAST '91). The aim of the AMAST c
Algebraic Methodology and Software Technology (AMAST'91)
Language: en
Pages: 440
Authors: M. Nivat
Categories: Computers
Type: BOOK - Published: 1994 - Publisher: Springer

DOWNLOAD EBOOK

Algebraic Methodology and Software Technology
Language: en
Pages: 612
Authors: V.S. Alagar
Categories: Computers
Type: BOOK - Published: 1995-05-21 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July 1