recent trends data type (29 Ergebnisse)

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.

Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, May 11 (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.

Zustand: 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.

Zustand: Very Good. *Price HAS BEEN REDUCED by 10% until Monday, May 11 (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.

Zustand: 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.

Zustand: Used. pp. 540.

paperback. Zustand: Gut. 568 Seiten; 9783540616290.3 Gewicht in Gramm: 1.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In.

Zustand: New. In English.

Paperback. Zustand: Brand New. 268 pages. 9.61x6.69x0.61 inches. In Stock.

Zustand: New. In.

Zustand: 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.

Kartoniert / Broschiert. Zustand: 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.

Taschenbuch. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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. Zustand: 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.

Taschenbuch. Zustand: Neu. 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 | Egidio Astesiano (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1995 | Springer | EAN 9783540591320 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: 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. Zustand: Neu. Recent Trends in Data Type Specification | 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings | Hartmut Ehrig (u. a.) | Taschenbuch | viii | Englisch | 1991 | Springer | EAN 9783540544968 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. 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 | Michel Bidoit (u. a.) | Taschenbuch | x | Englisch | 1993 | Springer | EAN 9783540563792 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Neuware - 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.

Taschenbuch. Zustand: Neu. Neuware - 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.