Algebraic Methodology and Software Technology (Amast'91): Proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991
Algebraic Methodology and Software Technology (Amast'91): Proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991
This volume contains the proceedings of the Second International Conference on Algebraic Methodology and Software Technology (AMAST '91). The aim of the AMAST conferences is to promote the use of algebraic methodology as a foundation for software technology, and to examine how it can be used to provide practical mathematical alternatives to the ad hoc methods commonly used in software development. In particular the conferences provide a showcase for software systems which have been developed in this way, focusing on the ...
Read More
This volume contains the proceedings of the Second International Conference on Algebraic Methodology and Software Technology (AMAST '91). The aim of the AMAST conferences is to promote the use of algebraic methodology as a foundation for software technology, and to examine how it can be used to provide practical mathematical alternatives to the ad hoc methods commonly used in software development. In particular the conferences provide a showcase for software systems which have been developed in this way, focusing on the conceptual developments which made them possible. The resulting volume covers a variety of software development issues, and testifies to the versality of algebraic methods when used as conceptual tools in the software development process. It features a distinguished collection of invited papers from leading researchers in the field, many of which break new ground, or represent an important step forward in current research. Among the specific topics covered are: language design; compiler construction; software testing; symbolic computation and partial evaluation; incremental implementation; and the verification of program and specification properties. Algebraic Methodology and Software Technology (AMAST '91) provides a comprehensive overview of this important field of science. It will provide invaluable reading for students and researchers, both in industry and academia.
Read Less
Add this copy of Algebraic Methodology and Software Technology to cart. $11.73, Sold by Zubal Books rated 5.0 out of 5 stars, ships from Cleveland, OH, UNITED STATES, published 1992 by Springer-Verlag.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
572 pp., softcover, ex library, else text clean & binding tight. -If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Add this copy of Algebraic Methodology and Software Technology to cart. $52.78, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1992 by Springer Verlag.
