Related Books
Language: en
Pages: 536
Pages: 536
Language: en
Pages: 724
Pages: 724
Type: BOOK - Published: 1991-10-14 - Publisher: Springer Science & Business Media
The proceedings of the fourth Vienna Development Method Symposium, VDM'91, are published here in two volumes. Previous VDM symposia were held in 1987 (LNCS 252)
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
Language: en
Pages: 270
Pages: 270
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
New methodological aspects related to design and implementation of symbolic computation systems are considered in this volume aiming at integrating such aspects