Order Total (1 Item Items):
Shipping Destination:
Recent Trends Data Type (113 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (113)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (101)
- As New, Fine or Near Fine (6)
- Very Good or Good (5)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (113)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (45)
- Not Print on Demand (77)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Recent Trends in Data Type Specification. 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de . Selected Papers (Lecture Notes in Computer Science, 785)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. 356 pp., Paperback, label and tape to spine, else very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, . Papers (Lecture Notes in Computer Science 906)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. 523 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers (Lecture Notes in Computer Science (332))
Seller: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. some shelfwear/edgewear, may have remainder mark or previous owner's name - still NICE! Standard-sized.
-
Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, . Notes in Computer Science (655), Band 655)
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
1993. 360 p. Unread book. Very good condition. Minimum traces of storage. 9783540563792 Sprache: Englisch Gewicht in Gramm: 386 Softcover, Größe: 15.5 x 2.1 x 23.5 cm.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Recent Trends in Data Type Specification (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1994
ISBN 10: 3540578676 ISBN 13: 9783540578673
Paperback. Condition: new. Paperback. Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. This volume contains the proceedings of the 9th Workshop on Specification of Abstract Data Types, held jointly with the 4th COMPASS Workshop in Spain in 1992. The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and the algebraic specification of concurrency. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992. The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Recent Trends in Data Type Specification (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1986
ISBN 10: 3540160779 ISBN 13: 9783540160779
Paperback. Condition: new. Paperback. This volume contains the major part of the contributions to the 3rd Workshop on Theory and Appl ications of Abstract Data Types held in Bremen (Germany) from November 13 to November 16, 1984. The workshop, as both its predecessors (Sorpesee, 1982 and Passau, 1983), brought together many researchers interested in algebraic specifications and related topics. It provided an opportunity to present the latest, even unfinished, work and to discuss the future trends and research problems. The remarkable progress of the field re- ported at the workshop provoked this volume. The present collection of papers documents the recent developments and trends in data type and software specification in theory and in practice.The theoretical con- tributions pursue four objectives: the 1 iberation of the specification methods from the underlying logic (Sannella and Tarlecki; Maibaum and Sadler), the extension of the algebraic theory of data types to meet adequately the semantics of imperative programming languages and the idea of observabil ity (Wagner; Hennicker and Wirsing; Moller and Dosch; Streicher), the adaption of stepwise-refinement techniques to spec- ifications with loose semantics (Beierle and Voss) and error and exception handl ing (Gogolla; Poigne). The papers oriented more towards practice are harder to classify. This volume contains the major part of the contributions to the 3rd Workshop on Theory and Appl ications of Abstract Data Types held in Bremen (Germany) from November 13 to November 16, 1984. The workshop, as both its predecessors (Sorpesee, 1982 and Passau, 1983), brought together many researchers interested in algebraic specifications and related topics. It provided an opportunity to present the latest, even unfinished, work and to discuss the future trends and research problems. The remarkable progress of the field reA ported at the workshop provoked this volume. The present collection of papers documents the recent developments and trends in data type and software specification in theory and in practice. The theoretical conA tributions pursue four objectives: the 1 iberation of the specification methods from the underlying logic (Sannella and Tarlecki; Maibaum and Sadler), the extension of the algebraic theory of data types to meet adequately the semantics of imperative programming languages and the idea of observabil ity (Wagner; Hennicker and Wirsing; Moller and Dosch; Streicher), the adaption of stepwise-refinement techniques to specA ifications with loose semantics (Beierle and Voss) and error and exception handl ing (Gogolla; Poigne). The papers oriented more towards practice are harder to classi Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
-
-
-
-
-
-
-
-
-
-
Recent Trends in Data Type Specification (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1996
ISBN 10: 3540616292 ISBN 13: 9783540616290
Paperback. Condition: new. Paperback. This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995.The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of algebraic specification since the predecessor meeting held in May 1994. This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995.The 25 research papers included were chosen from 57 pre-selected workshop presentations; Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
-
-
-
Condition: New. pp. 540.
-
-
Condition: New. pp. 540 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
Recent Trends in Data Type Specification (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1988
ISBN 10: 3540503250 ISBN 13: 9783540503255
Paperback. Condition: new. Paperback. 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. The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. Another trend is toward taking a more general view which allows superficially different approaches having the same general aims and methods to be unified. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Recent Trends in Data Type Specification (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1993
ISBN 10: 3540563792 ISBN 13: 9783540563792
Paperback. Condition: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Recent Trends in Data Type Specification (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1991
ISBN 10: 3540544968 ISBN 13: 9783540544968
Paperback. Condition: new. Paperback. The algebraic specification of abstract data types is now awell establishedresearch topic in computer science. Thisarea influences both applications and theoreticalfoundations of methodologies which support the design andformal development of reliable software. The Seventh Workshop on Specification of Abstract Data Typestook place in Wusterhausen/Dosse, April17-20, 1990, and wasorganized in cooperation with the ESPRIT Basic ResearchWorking Group COMPASS. The main topics covered by theworkshop were:- Modularization- Object orientation- Higher-order types anddependent types- Inductive completion- Algebraic high-level nets. This volume contains the proceedings of a workshop on specification of abstract data types. The main topics are modularisation, object orientation, higher-order types and dependent types, inductive completion, and algebraic high-level nets. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Condition: As New. Unread book in perfect condition.
