9783540619291 | Pap/cdr edition (Springer Verlag, February 1, 1997), cover price $149.00 | About this edition: This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications.

9780387527536 | Springer Verlag, July 1, 1990, cover price $69.95 | About this edition: This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989.

9780444874061 | North-Holland, May 1, 1990, cover price $189.00 | About this edition: The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.

9780387516592 | Springer Verlag, November 1, 1989, cover price $72.95 | About this edition: This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988.

9780080887043 | Ebrary, July 1, 1989, cover price $189.00

9780387502410 | Springer Verlag, September 1, 1988, cover price $62.95 | About this edition: This volume contains the papers which were presented to the workshop "Computer-Science Logic" held in Karlsruhe on October 12-16, 1987.

9780387181707 | Springer Verlag, September 1, 1987, cover price $74.95 | About this edition: This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical hierarchy.

9780387133317 | Springer Verlag, June 1, 1984, cover price $31.00