Published by Springer, 1989
ISBN 10: 3540516980 ISBN 13: 9783540516989
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Paperback. Condition: Very Good. 0387516980 Ex-library paperback in very nice condition with the usual markings and attachments.
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1989
ISBN 10: 3540516980 ISBN 13: 9783540516989
Seller: Ammareal, Morangis, France
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.
Published by Springer, 1989
ISBN 10: 3540516980 ISBN 13: 9783540516989
Seller: Irish Booksellers, Portland, ME, U.S.A.
Condition: Good. SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. book.
Published by Springer, 1989
ISBN 10: 3540516980 ISBN 13: 9783540516989
Seller: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condition: new.
Published by Springer Berlin Heidelberg, 1989
ISBN 10: 3540516980 ISBN 13: 9783540516989
Seller: Buchpark, Trebbin, Germany
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.
Published by Springer Berlin Heidelberg, 1989
ISBN 10: 3540516980 ISBN 13: 9783540516989
Seller: Buchpark, Trebbin, Germany
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.
Published by Springer, 1989
ISBN 10: 3540516980 ISBN 13: 9783540516989
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Published by Springer, 1989
ISBN 10: 3540516980 ISBN 13: 9783540516989
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Published by Springer, 1989
ISBN 10: 3540516980 ISBN 13: 9783540516989
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer, 1989
ISBN 10: 3540516980 ISBN 13: 9783540516989
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: New.
Published by Springer, 1989
ISBN 10: 3540516980 ISBN 13: 9783540516989
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Published by Springer Berlin Heidelberg Sep 1989, 1989
ISBN 10: 3540516980 ISBN 13: 9783540516989
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
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.
Published by Springer Berlin Heidelberg, 1989
ISBN 10: 3540516980 ISBN 13: 9783540516989
Seller: AHA-BUCH GmbH, Einbeck, Germany
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.
Published by Springer Berlin Heidelberg, 1989
ISBN 10: 3540516980 ISBN 13: 9783540516989
Seller: moluna, Greven, Germany
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 .
Published by Springer, 1989
ISBN 10: 3540516980 ISBN 13: 9783540516989
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: As New. Unread book in perfect condition.