Stock image for illustration purposes only - book cover, edition or condition may vary.
Algebraic Methodology and Software Technology
. Ed(S): Kirchner, Helene; Ringeissen, Christophe
€ 71.07
FREE Delivery in Ireland
Description for Algebraic Methodology and Software Technology
paperback. These are the refereed proceedings of the 9th International Conference on Algebraic Methodology and Software Technology, AMAST 2002, held in Saint-Gilles-les-Bains, Reunion Island, France in September 2002. Editor(s): Kirchner, Helene; Ringeissen, Christophe. Series: Lecture Notes in Computer Science. Num Pages: 520 pages, biography. BIC Classification: PBF; UM; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 722.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2002
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
520
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
508
Place of Publication
Berlin, Germany
ISBN
9783540441441
SKU
V9783540441441
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Algebraic Methodology and Software Technology