Recent Trends in Algebraic Development Techniques

Name: Recent Trends in Algebraic Development Techniques: 14th International Workshop, Wadt '99, Chateau de Bonas, September 15-18, 1999 Selected Papers
Brand: Springer
SKU: 9783540678984
Price: 5624.00 INR
Availability: InStock

14th International Workshop, Wadt '99, Chateau de Bonas, September 15-18, 1999 Selected Papers

by Didier Bert, Christine Choppy, Peter Mosses

Springer

₹5,624

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

The algebraic approach to system speci?cation and development, born in the 1970sas a formalmethod for abstractdata types, encompassestoday the formal design of integrated hardware and software systems, new speci?cation fra- works and programming paradigms (such as object-oriented, logic, and high- order functional programming) and a wide range of application areas (including information systems, concurrent and distributed systems).

Description supplied by the publisher.