Items related to Algebraic Methods II: Theory, Tools, and Applications...
Algebraic Methods II: Theory, Tools, and Applications (Lecture Notes in Computer Science) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer-Verlag
- Publication date1991
- ISBN 10 0387539123
- ISBN 13 9780387539126
- BindingPaperback
- LanguageEnglish
- Number of pages434
Search results for Algebraic Methods II: Theory, Tools, and Applications...
Stock Image
Algebraic Methods II: Theory, Tools, and Applications (Lecture Notes in Computer Science)
Seller: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Volume 409 Very Good paperback with light shelfwear - NICE! Standard-sized. Seller Inventory # mon0000026236
Quantity: 1 available
Stock Image
Algebraic Methods II (2): Theory, Tools, and Applications (Lecture Notes in Computer Science 490)
Seller: G. & J. CHESTERS, TAMWORTH, United Kingdom
Seller rating 5 out of 5 stars
Soft cover. Condition: Very Good. pp.vii, 431 pages, a very good plus paperback, from a uk university library [0387539123]. Seller Inventory # 9081
Quantity: 1 available
Stock Image
Algebraic Methods II: Theory, Tools, and Applications (Lecture Notes in Computer Science 490)
Published by
Springer-Verlag, Berlin, 1991
ISBN 10: 0387539123
ISBN 13: 9780387539126
Used
Paperback
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Dust Jacket Condition: No Dust Jacket. Lecture Notes in Computer Science 490; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Traces of sticker residue across spine head; faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library. Seller Inventory # 094547
Quantity: 1 available
Stock Image
Algebraic Methods II: Theory, Tools, and Applications (Lecture Notes in Computer Science)
Seller: dsmbooks, Liverpool, United Kingdom
Seller rating 4 out of 5 stars
paperback. Condition: Very Good. Very Good. book. Seller Inventory # D8S0-3-M-0387539123-4
Quantity: 1 available