Recent Trends in Algebraic Development Techniques

Name: Recent Trends in Algebraic Development Techniques: 16th International Workshop, Wadt 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Sel
Brand: Springer
SKU: 9783540205371
Price: 5769.00 INR
Availability: InStock

16th International Workshop, Wadt 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Sel

by Martin Wirsing, Dirk Pattinson, Rolf Hennicker

Springer

₹5,769

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

This volume contains selected papers from WADT 2002, the 16th International Workshop on Algebraic Development Techniques. Like its predecessors, WADT 2002 focussed on the algebraic approach to the speci?cation and development of systems, an area that was born around the algebraic speci?cation of abstract data types and encompasses today the formal design of software systems, new speci?cation frameworks and a wide range of application areas.

Description supplied by the publisher.