Stock image for illustration purposes only - book cover, edition or condition may vary.
Algebraic Methodology and Software Technology (Amast '93)
. Ed(S): Nivat, Maurice; Rattray, Charles; Rus, Teodor; Scollo, Giuseppe
€ 65.53
FREE Delivery in Ireland
Description for Algebraic Methodology and Software Technology (Amast '93)
Paperback. This volume of workshop proceedings covers a variety of software development issues and testifies to the versatility of algebraic methods used as conceptual tools in the software development process. It describes six specific software systems which have been developed using algebraic methods. Editor(s): Nivat, Maurice; Rattray, Charles; Rus, Teodor; Scollo, Giuseppe. Series: Workshops in Computing. Num Pages: 416 pages, biography. BIC Classification: UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 23. Weight in Grams: 710.
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 mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held in May 1989 and May 1991 at the University of Iowa, were well received and encouraged the regular organization of further AMAST conferences on a biennial schedule. The third Conference on Algebraic Methodology and Software Technology was held in the campus of the University of Twente, The Netherlands, during the first week of Summer 1993. ... Read more
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 mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held in May 1989 and May 1991 at the University of Iowa, were well received and encouraged the regular organization of further AMAST conferences on a biennial schedule. The third Conference on Algebraic Methodology and Software Technology was held in the campus of the University of Twente, The Netherlands, during the first week of Summer 1993. ... Read more
Product Details
Format
Paperback
Publication date
1993
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
416
Condition
New
Series
Workshops in Computing
Number of Pages
416
Place of Publication
Berlin, Germany
ISBN
9783540198529
SKU
V9783540198529
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Algebraic Methodology and Software Technology (Amast '93)