Recent Trends in Data Type Specification

Name: Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types Joint with the 3rd Compass Workshop, Dourdan, France, A
Brand: Springer
SKU: 9783540563792
Price: 5554.00 INR
Availability: InStock

8th Workshop on Specification of Abstract Data Types Joint with the 3rd Compass Workshop, Dourdan, France, A

by Michel Bidoit, Christine Choppy

Springer

₹5,554

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 specification of abstract data types has been a flourishing research topic in computer science since 1974. The main goal of this work isto evolve theoretical foundations and a methodology to support the design and formal development of reliable software. This volume gives the proceedings of the Eighth Workshop on Specification of Abstract Data Types, held jointly with the Third COMPASS workshop near Paris in August 1991.

Description supplied by the publisher.