|
Books > Computing & IT > Applications of computing > Databases
|
Buy Now
Recent Trends in Data Type Specification - 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers (Paperback, 1993 ed.)
Loot Price: R1,643
Discovery Miles 16 430
|
|
|
Recent Trends in Data Type Specification - 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers (Paperback, 1993 ed.)
Series: Lecture Notes in Computer Science, 655
Expected to ship within 10 - 15 working days
|
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. The main
topics covered by the joint workshop are: - specification
languagesand program development - algebraic specification of
concurrency - theorem proving - object-oriented specifications -
order-sorted algebras - abstract implementation and behavioral
semantics. The volume contains four invited surveys and twelve
contributed papers, all of which underwent a careful refereeing
process.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
