|
Showing 1 - 5 of
5 matches in All Departments
The proper treatment and choice of the basic data structures is an
important and complex part in the process of program construction.
Algebraic methods provide techniques for data abstraction and the
structured specification, validation and analysis of data
structures. This volume originates from a workshop organized within
ESPRIT Project 432 METEOR, An Integrated Formal Approach to
Industrial Software Development, held in Mierlo, The Netherlands,
September 1989. The volume includes five invited contributions
based on workshop talks given by A. Finkelstein, P. Klint, C.A.
Middelburg, E.-R. Olderog, and H.A. Partsch. Ten further papers by
members of the METEOR team are based on talks given at the
workshop. The workshop was a successor to an earlier one held in
Passau, Germany, June 1987, the proceedings of which were published
as Lecture Notes in Computer Science, Vol. 394.
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.