Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science, 394) - Softcover
Synopsis
Lecture Notes in Computer Science 394; Ex-Library. Previous owner's sticker on the front cover. Small pen inscription on title page; library catalogue sticker on reverse of front cover. Faintly scuffed spine head from sticker removal. Creased on rear leading corner. Sound, clean book with tight binding. ADG.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Algebraic Methods: Theory, Tools and Applications (Lecture...
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. We are unable to ship to Canada at this time.0387516980 Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # UTD14a-1171
Stock Image
Algebraic Methods: Theory, Tools and Applications (Lecture Notes in Computer Science, 394)
Seller: GoldBooks, Denver, CO, U.S.A.
Seller rating 5 out of 5 stars
Condition: new. Seller Inventory # 7K83_78_3540516980
Seller Image
Algebraic Methods: Theory, Tools and Applications
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5906464-n
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
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 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 78084/202
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 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 78084/203
Seller Image
Algebraic Methods: Theory, Tools and Applications
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5906464
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
Buy New
US$ 128.72
Shipping:
US$ 15.91
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Algebraic Methods: Theory, Tools and Applications
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5906464-n
Buy New
US$ 128.71
Shipping:
US$ 19.92
From United Kingdom to U.S.A.
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