![Ringeissen, Christophe / Helene Kirchner (Hrsg.). Algebraic Methodology and Software Technology - 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings. Springer Berlin Heidelberg, 2002.](https://eichendorff21.de/cdata/Re6bJUqzcLHF5gwlPCsz9xso588=/300x0/9783540441441.png)
Algebraic Methodology and Software Technology
- Springer Berlin Heidelberg
- 2002
- Taschenbuch
- 520 Seiten
- ISBN 9783540441441
This volume contains the proceedings of AMAST 2002, the 9th International Conference on Algebraic Methodology and Software Technology, held during September 9¿13, 2002, in Saint-Gilles-les-Bains, R¿eunion Island, France. The major goal of the AMAST conferences is to promote research that may lead to setting software technology on a ?rm mathematical basis. This goal is achieved through a large international cooperation with contributions from both academia and industry. Developing a software technology on a mathematical basis p- duces software that is: (a) correct, and the correctness can be proved mathem- ically, (b) safe, so that it can be used in the implementation of critical systems, (c) portable,
Mehr
Weniger
zzgl. Versand
in Kürze