Order Total (1 Item Items):
Shipping Destination:
Recent Trends Data Type (54 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (54)
- 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 (43)
- As New, Fine or Near Fine (3)
- Very Good or Good (4)
- Fair or Poor (No further results match this refinement)
- As Described (4)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (54)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (35)
- Not Print on Demand (37)
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. *Price HAS BEEN REDUCED by 10% until Monday, April 6 (sale item)* 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. *Price HAS BEEN REDUCED by 10% until Monday, April 6 (sale item)* 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: 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.
-
Condition: Used. pp. 540.
-
Condition: As New. Unread book in perfect condition.
-
Condition: Used. 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.
-
Condition: Used. pp. 540.
-
paperback. Condition: Gut. 568 Seiten; 9783540616290.3 Gewicht in Gramm: 1.
-
US$ 64.95
US$ 20.45 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
US$ 64.99
US$ 20.45 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
US$ 64.99
US$ 20.45 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
US$ 65.16
US$ 20.45 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
US$ 65.23
US$ 20.45 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
US$ 65.24
US$ 20.45 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
-
Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types Joint With the 8th Compass Workshop Oslo, Norway, September 19-23, 1995 : Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 68.60
US$ 19.80 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Condition: New. pp. 268.
-
Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types Joint With the 8th Compass Workshop Oslo, Norway, September 19-23, 1995 : Selected Papers
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 76.09
US$ 19.80 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 90.52
US$ 13.20 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 268 pages. 9.61x6.69x0.61 inches. In Stock.
-
Recent Trends in Data Type Specification
Language: English
Published by Springer Berlin Heidelberg, 1986
ISBN 10: 3540160779 ISBN 13: 9783540160779
Kartoniert / Broschiert. Condition: New. Categorical Semantics, Or Extending Data Types to Include Memory.- Algebraic (?) Specification of Conceptual Database Schemata.- OBSCURE, A New Specification Language.- Some Thoughts on Algebraic Specification.- Implementation Specifications.- The ASSPEGIQU.
-
Recent Trends in Data Type Specification
Language: English
Published by Springer Berlin Heidelberg, 1996
ISBN 10: 3540616292 ISBN 13: 9783540616290
Kartoniert / Broschiert. Condition: New. 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.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. 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. This volumes contains four invited papers presented at the workshop together with the final versions of 17 contributed papers selected after a careful refereeing process from 46 submissions.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
Taschenbuch. Condition: Neu. Recent Trends in Data Type Specification | 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers | Hartmut Ehrig (u. a.) | Taschenbuch | viii | Englisch | 1994 | Springer | EAN 9783540578673 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Taschenbuch. Condition: Neu. Recent Trends in Data Type Specification | Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers | Donald Sannella | Taschenbuch | viii | Englisch | 1988 | Springer | EAN 9783540503255 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
