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

Skip to content

Recent Trends in Data Type Specification : Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers

Recent Trends in Data Type Specification : Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers

Recent Trends in Data Type Specification : Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers Paperback - 1988 - 1988th Edition

by Donald Sannella (Editor)

Add to wish list
  • New
  • Paperback
New

Description

Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based on selected talks presented at the workshop. The algebraic specification of abstract da
Ask the seller a question Add to wish list
A$105.50
A$15.62 Delivery to USA
Standard delivery: 7 to 12 days
More delivery options
Ships from Ria Christie Collections (Greater London, United Kingdom)
The BIBLIO Guarantee

Details

  • Title Recent Trends in Data Type Specification : Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers
  • Author Donald Sannella (Editor)
  • Binding Paperback
  • Edition number 1988th
  • Edition 1988
  • Condition New
  • Pages 268
  • Volumes 1
  • Language ENG
  • Publisher Springer, London
  • Publication date 1988-10-26
  • Bookseller's Inventory # ria9783540503255_inp
  • ISBN 9783540503255 / 3540503250
  • Weight 0.86 lbs (0.39 kg)
  • Dimensions 9.21 x 6.14 x 0.58 in (23.39 x 15.60 x 1.47 cm)
  • Category Computers - Languages / Programming
  • Dewey Decimal Code 005.13
  • Quantity available 303

About Ria Christie Collections Greater London, United Kingdom

Specialising in: Books, Calendars, Fiction Books, Non- Fiction Books, Textbooks
Biblio member since 2014

Hello We are professional online booksellers. We sell mostly new books and textbooks and we do our best to provide a competitive price. We are based in Greater London, UK. We pride ourselves by providing a good customer service throughout, shipping the items quickly and replying to customer queries promptly. Ria Christie Collections

Terms of Sale:

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

Browse books from Ria Christie Collections

Reader reviews for Recent Trends in Data Type Specification : Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers

Write a review for this book

There are no reviews for this book yet. Be the first to write a review!

Your review will be anonymous unless you login or create an account first.

Overall rating
Remember: You’re rating the book as a work, not the seller or the condition of the specific copy you purchased!

Important Terms and Guidelines

  • Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
  • Reviews must be at least 140 characters in length.
  • Please do not reveal critical plot elements.
  • This is not a help line. Contact customer support if you need help.
Your review must not include:
  • Obscenities, discriminatory language, or other insulting language not suitable for public domain
  • Advertisements, “spam” content, or references to other products, offers or websites.
  • Email addresses, URLs, phone numbers, physical addresses or other contact information.
  • Overly critical comments about other reviews or reviewers
  • Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
  • Availability, price, or alternative ordering/shipping information

From the publisher

The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based on selected talks presented at the workshop. The algebraic specification of abstract data types has been a flourishing topic in computer science since 1974. The main goal of work in this area is to evolve a methodology to support the design and formal development of reliable software. The particular approach taken builds upon concepts from universal algebra and elementary category theory. The core of this work has now stabilized to a great extent and is mature enough to find application in real-life software engineering and to related topics such as concurrency, databases, and even hardware design. Such applications are becoming more feasible because of the emergence of integrated specification/development environments which include tools such as theorem provers based on fast term rewriting engines. Researchers are also exploring ways of widening the scope of the theory to make it applicable to (for example) higher-order functions and non-deterministic programs. Another trend is toward taking a more general view which allows superficially different approaches having the same general aims and methods to be unified.

First line

Among all approaches to algebraic semantics, two candidates are especially promising: the initial approach [28,38,21,24,25] and the loose approach [29,39,36,2].

Please wait a moment while we load the requested page.

tracking-