• Sign In
  • Help
  • My Basket0
Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers - Informatik-Fachberichte 116 (Paperback)
  • Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers - Informatik-Fachberichte 116 (Paperback)
zoom

Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers - Informatik-Fachberichte 116 (Paperback)

(editor)
£72.00
Paperback 253 Pages / Published: 01/01/1986
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket

Check Marketplace availability

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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540160779
Number of pages: 253
Weight: 467 g
Dimensions: 244 x 170 x 14 mm

You may also be interested in...

Clean Code
Added to basket
£36.99
Paperback
The Agile Samurai
Added to basket
Art of Agile Development
Added to basket
Succeeding with Agile
Added to basket
£38.99
Paperback
Impact Mapping
Added to basket
£9.99
Paperback
Test Driven Development
Added to basket
Refactoring
Added to basket
£47.99
Hardback
Design Patterns
Added to basket
£43.99
Hardback
Continuous Delivery
Added to basket
£43.99
Hardback
Agile Product Management with Scrum
Added to basket
The Art of Unit Testing
Added to basket
Essential Scrum
Added to basket
£36.99
Paperback
The Book of Satoshi
Added to basket
User Story Mapping
Added to basket
£27.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.