Items related to Algebraic Methods: Theory, Tools and Applications:...
Algebraic Methods: Theory, Tools and Applications: 394 (Lecture Notes in Computer Science, 394) - 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 date1989
- ISBN 10 3540516980
- ISBN 13 9783540516989
- BindingPaperback
- LanguageEnglish
- Number of pages572
- EditorWirsing Martin, Bergstra Jan A.
Search results for Algebraic Methods: Theory, Tools and Applications:...
Stock Image
Algebraic Methods: 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. 0387516980 Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # UTD14a-1171
Quantity: 1 available
Stock Image
Algebraic Methods: Theory, Tools and Applications
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1989
ISBN 10: 3540516980
ISBN 13: 9783540516989
Used
Softcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1989. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-597-394
Quantity: 1 available
Stock Image
Algebraic Methods: Theory, Tools and Applications
Published by
Springer Berlin Heidelberg, 1989
ISBN 10: 3540516980
ISBN 13: 9783540516989
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Innen: Seiten eingerissen. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 568 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 78084/203
Quantity: 1 available
Stock Image
Algebraic Methods: Theory, Tools and Applications
Published by
Springer Berlin Heidelberg, 1989
ISBN 10: 3540516980
ISBN 13: 9783540516989
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Außen: verschmutzt. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 568 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 78084/202
Quantity: 1 available
Stock Image
Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science, 394)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020168974
Quantity: Over 20 available
Stock Image
Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science, 394)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540516989_new
Quantity: Over 20 available
Seller Image
Algebraic Methods: Theory, Tools and Applications
Published by
Springer Berlin Heidelberg Sep 1989, 1989
ISBN 10: 3540516980
ISBN 13: 9783540516989
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 -Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable .- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data types, processes and objects.- Software specification by behavioural canons.- An introduction to COLD-K.- A formal specification of INGRES.- The logic MPL .- Description algebra.- The calculus .- The RAP system as a tool for testing COLD specifications.- A specification of the intel 8085 microprocessor: A case study.- Specification and prototyping of a compiler for a small applicative language.- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype.- ACP a universal axiom system for process specification.- Modular specifications in process algebra.- An algebraic specification of process algebra, including two examples. 568 pp. Englisch. Seller Inventory # 9783540516989
Quantity: 2 available
Seller Image
Algebraic Methods: Theory, Tools and Applications
Published by
Springer Berlin Heidelberg, 1989
ISBN 10: 3540516980
ISBN 13: 9783540516989
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 - Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable .- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data types, processes and objects.- Software specification by behavioural canons.- An introduction to COLD-K.- A formal specification of INGRES.- The logic MPL .- Description algebra.- The calculus .- The RAP system as a tool for testing COLD specifications.- A specification of the intel 8085 microprocessor: A case study.- Specification and prototyping of a compiler for a small applicative language.- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype.- ACP a universal axiom system for process specification.- Modular specifications in process algebra.- An algebraic specification of process algebra, including two examples. Seller Inventory # 9783540516989
Quantity: 1 available
Seller Image
Algebraic Methods: Theory, Tools and Applications
Published by
Springer Berlin Heidelberg, 1989
ISBN 10: 3540516980
ISBN 13: 9783540516989
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable?.- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data . Seller Inventory # 4892089
Quantity: Over 20 available