BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Recent Trends In Data Type Specification- 10th Workshop On Specification Of Abstract Data Types Joint With The 5th Compass Workshop, S. Margherita, Italy, May 30-june 3, 1994 - Selected Papers (lecture Notes In Computer Science, Vol 906)

Recent Trends In Data Type Specification- 10th Workshop On Specification Of Abstract Data Types Joint With The 5th Compass Workshop, S. Margherita, Italy, May 30-june 3, 1994 - Selected Papers (lecture Notes In Computer Science, Vol 906)

Recent Trends In Data Type Specification- 10th Workshop On Specification Of
Stock photo: cover may vary

Recent Trends In Data Type Specification- 10th Workshop On Specification Of Abstract Data Types Joint With The 5th Compass Workshop, S. Margherita, Italy, May 30-june 3, 1994 - Selected Papers (lecture Notes In Computer Science, Vol 906) Paperback - 1995

by Astesiano, Tarlecki ,

Add to wish list
  • New
New

Description

Springer, 1995. New.
Ask the seller a question Add to wish list
A$344.85
A$21.84 Delivery to USA
Standard delivery: 20 to 30 days
More delivery options
Ships from BookVistas (Delhi, India)

Details

About BookVistas Delhi, India

Biblio member since 2011

We are leading publishers, booksellers, distributors, importers, and exporters. We carry a large selection of books on varied subjects. Do place your valued order or let us know your requirement via email.

Terms of Sale:

30 day return guarantee, with full refund including shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Books are shipped by Registered Air Mail or DHL/FedEx/Aramex. Additional shipping charges may be required for multi-volume sets.

Browse books from BookVistas

Reader reviews for Recent Trends In Data Type Specification- 10th Workshop On Specification Of Abstract Data Types Joint With The 5th Compass Workshop, S. Margherita, Italy, May 30-june 3, 1994 - Selected Papers (lecture Notes In Computer Science, Vol 906)

From the publisher

This volume comprises the invited surveys and revised versions of the submitted papers selected for presentation at the 10th Workshop on Specification of Abstract Data Types, held jointly with the 4th COMPASS Workshop in S. Margherita, Italy in June 1994.
The volume gives a comprehensive state-of-the-art report of the research activities: besides classical algebraic techniques, other relevant topics are investigated, such as formalisms based on general logics and category theory, type systems for specification languages and new structures for modelling dynamic systems. In addition to four surveys by prominent leaders in the area and 23 papers presenting original research, the book contains an annotated bibliography covering all contributions to the ten editions of the workshop.

First line

Specifications of programs include both symbols with their usual mathematical meaning as well as additional function symbols that correspond to program entities.
tracking-