CURRENTLY SOLD OUT

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 by Christine Choppy, Michel Bidoit (Paperback, 1993)

About this product

Product Information

The algebraic specification of abstract data types has beena flourishing research topic in computer science since 1974. The main goal of this work isto evolve theoreticalfoundations and a methodology to support the design andformal development of reliable software. This volume gives the proceedings of the Eighth Workshop onSpecification of Abstract Data Types, held jointly with theThird COMPASS workshop near Paris in August 1991. The maintopics 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 twelvecontributed papers, all of which underwent a carefulrefereeing process.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-13
9783540563792
eBay Product ID (ePID)
95041750

Product Key Features

Subject Area
Information Science
Author
Christine Choppy, Michel Bidoit
Publication Name
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
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
1993
Type
Textbook
Number of Pages
346 Pages

Dimensions

Item Height
233mm
Item Width
155mm
Volume
655
Item Weight
1130g

Additional Product Features

Series Title
Lecture Notes in Computer Science
Editor
Michel Bidoit, Christine Choppy
Country/Region of Manufacture
Germany

Best Selling in Adult Learning & University

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

The Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by Adam Grubb, Annie Raser-Rowland (2012, Paperback)
4.8 out of 5 stars based on 88 product ratings
AU $19.95 New
AU $13.00 Used
Australian Native Bee Book: Keeping Stingless Bee Hives for Pets, Pollination and Sugarbag Honey by Tim Heard (Paperback, 2015)
4.9 out of 5 stars based on 157 product ratings
AU $39.98 New
AU $31.50 Used
The Falsification of History: Our Distorted Reality by John Hamer (Paperback, 2013)
No ratings or reviews yet.
AU $59.41 New
---- Used
In-Basket Case Studies by Guy Adamson (Paperback, 1986)
No ratings or reviews yet.
AU $19.99 New
---- Used
Permaculture: A Designer's Manual by Bill Mollison (Hardcover, 1988)
5.0 out of 5 stars based on 12 product ratings
AU $182.95 New
AU $79.95 Used
Botanical Field Guide by Stefan Mager (Fold-out book or chart, 2021)
4.5 out of 5 stars based on 4 product ratings
AU $14.99 New
---- Used
A guide to the Project Management Body of Knowledge (PMBOK guide) and the Standard for project management by Project Management Institute (Paperback, 2021)
No ratings or reviews yet.
AU $45.09 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $122.01
The Red Book: Liber Novus by Carl Gustav Jung (English) Hardcover Book
AU $322.59
Trending at AU $335.20
Sally Fallon Morell Thomas S. Cowan The Contagion Myth (Hardback) (US IMPORT)
AU $50.71
Trending at AU $57.23
Steven Holzner Physics Essentials For Dummies (Paperback)
AU $25.30
Trending at AU $27.81
Havard's Nursing Guide to Drugs
AU $74.99
Trending at AU $76.66
T. Jared Bunch Matthew LaPlante John D. Day The AFib Cure (Paperback)
AU $42.59
Trending at AU $45.42

Shop by category

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 by Christine Choppy, Michel Bidoit (Paperback, 1993)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

Best Selling in Adult Learning & University

The Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by Adam Grubb, Annie Raser-Rowland (2012, Paperback)

Australian Native Bee Book: Keeping Stingless Bee Hives for Pets, Pollination and Sugarbag Honey by Tim Heard (Paperback, 2015)

The Falsification of History: Our Distorted Reality by John Hamer (Paperback, 2013)

In-Basket Case Studies by Guy Adamson (Paperback, 1986)

Permaculture: A Designer's Manual by Bill Mollison (Hardcover, 1988)

Botanical Field Guide by Stefan Mager (Fold-out book or chart, 2021)

A guide to the Project Management Body of Knowledge (PMBOK guide) and the Standard for project management by Project Management Institute (Paperback, 2021)

Save on Adult Learning & University

Netter Atlas of Human Anatomy: Classic Regional Approach

The Red Book: Liber Novus by Carl Gustav Jung (English) Hardcover Book

Sally Fallon Morell Thomas S. Cowan The Contagion Myth (Hardback) (US IMPORT)

Steven Holzner Physics Essentials For Dummies (Paperback)

Havard's Nursing Guide to Drugs

T. Jared Bunch Matthew LaPlante John D. Day The AFib Cure (Paperback)

You may also like

France Paperback Maps & Atlases

Christine Feehan Paperback Fiction & Fiction Books

Fiction Paperback Frances Hodgson Burnett & Fiction Books

Michelle Bridges & Fiction Paperback Non-Fiction Books

Christine Feehan Fiction & Fiction Books

Frances Hodgson Burnett Fiction Fiction & Books