Free delivery for purchases over 59.99 €
Slovak post 4.49 SPS courier 4.99 GLS courier 3.99 GLS point 2.99 Packeta courier 4.99 Packeta point 2.99 SPS Parcel Shop 2.99

Algebraic Methods II: Theory, Tools and Applications. Vol.2

Language EnglishEnglish
Book Paperback
Book Algebraic Methods II: Theory, Tools and Applications. Vol.2 Jan A. Bergstra
Libristo code: 01565397
Publishers Springer, Berlin, November 1990
The proper treatment and choice of the basic data structures is an important and complex part in the... Full description
? points 154 b
61.56
Low in stock at our supplier Shipping in 13-16 days

30-day return policy


You might also be interested in


Léčení modlitbou Larry Dossey / Paperback
common.buy 3.83
Unsavory Truth Marion Nestle / Hardback
common.buy 23.85
Sword And The Scimitar David Ball / Paperback
common.buy 12.32
Industrial Design Charlotte Fiell / Book
common.buy 11.51
Exploring the Philosophy of Death and Dying Michael Cholbi / Paperback
common.buy 58.83
COMING SOON
Park Lane Frances Osborne / Paperback
common.buy 9.49
Hotel Savoy Karsten Flohr / Paperback
common.buy 16.97

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.

Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account