Items related to Algebraic Methods II: Theory, Tools and Applications:...
Algebraic Methods II: Theory, Tools and Applications: 490 (Lecture Notes in Computer Science, 490) - 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
- Publication date1991
- ISBN 10 3540539123
- ISBN 13 9783540539124
- BindingPaperback
- LanguageEnglish
- Number of pages444
- EditorBergstra Jan A., Feijs Loe M.G.
Search results for Algebraic Methods II: Theory, Tools and Applications:...
Stock Image
Algebraic Methods II: Theory, Tools and Applications
Published by
Springer Berlin Heidelberg, 1991
ISBN 10: 3540539123
ISBN 13: 9783540539124
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Innen: Seiten eingerissen, Seiten vergilbt. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 444 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 78081/202
Quantity: 1 available
Stock Image
Algebraic Methods II: Theory, Tools and Applications (Lecture Notes in Computer Science, 490)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540539124_new
Quantity: Over 20 available
Seller Image
Algebraic Methods II: Theory, Tools and Applications
Published by
Springer Berlin Heidelberg, 1991
ISBN 10: 3540539123
ISBN 13: 9783540539124
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783540539124
Quantity: 1 available
Seller Image
Algebraic Methods II: Theory, Tools and Applications
Published by
Springer Berlin Heidelberg, 1991
ISBN 10: 3540539123
ISBN 13: 9783540539124
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. This volume originates from a workshop organized within ESPRIT Project 432 METEOR, belonging to subprogramme 2 on Software Technology. It is a successor to volume 394 of this Lecture Notes series.Formalizing informal requirements some aspects.- ViewPoin. Seller Inventory # 4892980
Quantity: Over 20 available
Seller Image
Algebraic Methods II: Theory, Tools and Applications
Published by
Springer Berlin Heidelberg Apr 1991, 1991
ISBN 10: 3540539123
ISBN 13: 9783540539124
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 444 pp. Englisch. Seller Inventory # 9783540539124
Quantity: 2 available
Stock Image
Algebraic Methods II: Theory, Tools and Applications (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Seller Inventory # UTD14a-1173
Quantity: 1 available
Stock Image
Algebraic Methods II: Theory, Tools and Applications (Lecture Notes in Computer Science, 490)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020169820
Quantity: Over 20 available