search for books and compare prices
Hans-jrg Kreowski has written 2 work(s)
Search for other authors with the same name
displaying 1 to 2 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Recent Trends in Algebraic Development Techniques: 20th International Workshop, Wadt 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
cover image for 9783642284113
Product Description: This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany. The 15 revised papers presented were carefully reviewed and selected from 32 presentations...read more
By Hans-jrg Kreowski (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783642284113 | Springer-Verlag New York Inc, February 28, 2012, cover price $89.99 | About this edition: This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany.

Recent Trends in Data Type Specification: 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers
cover image for 9783540160779
Product Description: 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...read more
By Hans-jrg Kreowski (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783540160779 | Springer-Verlag New York Inc, January 1, 1986, cover price $99.00 | About this edition: 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.

displaying 1 to 2 | at end