Algebraic Methodology and Software Technology (Workshops in Computing) - Softcover

Reseña del editor

The Workshops in Computing series is the result of a collaborative venture between the British Computer Society and Springer-Verlag. It is international in scope.
Each volume is based on the proceedings of a specialist workshop and is designed to provide information that represents a 'snapshot' of current knowledge, debate or research. Books in this series cover the broadest possible range of topics, subject only to the workshops being firmly established in computing and being of interest to the wider community.
To ensure timely publication, manuscripts are presented in the form in which they are submitted, immediacy being regarded as more important than perfect typographical accuracy.
Workshop organisers wishing to submit material for publication should, in the first instance, contact the Computing Editor at Springer-Verlag London Limited.