Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.
Cookie akzeptieren![Rus, Teodor (Hrsg.). Algebraic Methodology and Software Technology - 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings. Springer Berlin Heidelberg, 2000.](https://eichendorff21.de/cdata/8MjtQaW_Z3h1O-LkdarF93UYXuo=/300x0/9783540675303.png)
Algebraic Methodology and Software Technology
- Springer Berlin Heidelberg
- 2000
- Taschenbuch
- 564 Seiten
- ISBN 9783540675303
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 Iowa City, Iowa,and aimed at setting the development of software technology on a mathematical basis. The virtue of the software technology en- sioned by AMAST is the capability to produce software that has the following properties: (a) it is correct and its correctness can be proved mathematically, (b) it is safe, such that it can be used in the implementation of critical systems, (c) it is portable, i. e. , it is independent of computing platforms and language generations, and (d) it
Mehr
Weniger
zzgl. Versand
in Kürze