Published by Springer, 1994
ISBN 10: 3540578676 ISBN 13: 9783540578673
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Condition: USED_VERYGOOD. 356 pp., Paperback, label and tape to spine, else very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Published by Springer, 1991
ISBN 10: 0387544968 ISBN 13: 9780387544960
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Paperback. Condition: Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less 1.01.
Published by Springer, 1994
ISBN 10: 3540578676 ISBN 13: 9783540578673
Seller: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condition: new.
Published by Springer, 1991
ISBN 10: 3540544968 ISBN 13: 9783540544968
Seller: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condition: new.
Published by Springer, 1991
ISBN 10: 3540544968 ISBN 13: 9783540544968
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Published by Springer, 1994
ISBN 10: 3540578676 ISBN 13: 9783540578673
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Published by Springer, 1991
ISBN 10: 3540544968 ISBN 13: 9783540544968
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Published by Springer, 1994
ISBN 10: 3540578676 ISBN 13: 9783540578673
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Published by Springer, 1994
ISBN 10: 3540578676 ISBN 13: 9783540578673
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Published by Springer, 1991
ISBN 10: 3540544968 ISBN 13: 9783540544968
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Published by Springer, 1994
ISBN 10: 3540578676 ISBN 13: 9783540578673
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: NEW. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer, 1991
ISBN 10: 3540544968 ISBN 13: 9783540544968
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: NEW. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer, 1994
ISBN 10: 3540578676 ISBN 13: 9783540578673
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: New.
Published by Springer, 1991
ISBN 10: 3540544968 ISBN 13: 9783540544968
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: New.
Published by Springer 1994-04, 1994
ISBN 10: 3540578676 ISBN 13: 9783540578673
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: NEW.
Published by Springer Berlin Heidelberg, 1991
ISBN 10: 3540544968 ISBN 13: 9783540544968
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The algebraic specification of abstract data types is now awell establishedresearch topic in computer science. Thisarea influences both applications and theoreticalfoundations of methodologies which support the design andformal development of reliable software.The Seventh Workshop on Specification of Abstract Data Typestook place in Wusterhausen/Dosse, April17-20, 1990, and wasorganized in cooperation with the ESPRIT Basic ResearchWorking Group COMPASS. The main topics covered by theworkshop were:- Modularization- Object orientation- Higher-order types anddependent types- Inductive completion- Algebraic high-level nets.
Published by Springer Berlin Heidelberg, 1994
ISBN 10: 3540578676 ISBN 13: 9783540578673
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992. The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers presented at the workshop together with the final versions of 17 contributed papers selected after a careful refereeing process from 46 submissions.
Published by Springer, 1994
ISBN 10: 3540578676 ISBN 13: 9783540578673
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: NEW.
Published by Springer Berlin Heidelberg Apr 1994, 1994
ISBN 10: 3540578676 ISBN 13: 9783540578673
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 -Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992. The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers presented at the workshop together with the final versions of 17 contributed papers selected after a careful refereeing process from 46 submissions. 364 pp. Englisch.
Published by Springer, 1994
ISBN 10: 3540578676 ISBN 13: 9783540578673
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: As New. Unread book in perfect condition.
Published by Springer, 1991
ISBN 10: 3540544968 ISBN 13: 9783540544968
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: As New. Unread book in perfect condition.
Published by Springer, 1991
ISBN 10: 3540544968 ISBN 13: 9783540544968
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: NEW.
Published by Springer Berlin Heidelberg, 1994
ISBN 10: 3540578676 ISBN 13: 9783540578673
Seller: moluna, Greven, Germany
Condition: NEW. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on .
Published by Springer Berlin Heidelberg, 1991
ISBN 10: 3540544968 ISBN 13: 9783540544968
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The algebraic specification of abstract data types is now awell establishedresearch topic in computer science. Thisarea influences both applications and theoreticalfoundations of methodologies which support the design andformal development of reliabl.
Published by Springer, 1994
ISBN 10: 3540578676 ISBN 13: 9783540578673
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: NEW.
Published by Springer, 1991
ISBN 10: 3540544968 ISBN 13: 9783540544968
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: NEW.
Published by Springer 1991-09, 1991
ISBN 10: 3540544968 ISBN 13: 9783540544968
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: NEW.
Published by Springer Berlin Heidelberg Sep 1991, 1991
ISBN 10: 3540544968 ISBN 13: 9783540544968
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 -The algebraic specification of abstract data types is now awell establishedresearch topic in computer science. Thisarea influences both applications and theoreticalfoundations of methodologies which support the design andformal development of reliable software.The Seventh Workshop on Specification of Abstract Data Typestook place in Wusterhausen/Dosse, April17-20, 1990, and wasorganized in cooperation with the ESPRIT Basic ResearchWorking Group COMPASS. The main topics covered by theworkshop were:- Modularization- Object orientation- Higher-order types anddependent types- Inductive completion- Algebraic high-level nets. 392 pp. Englisch.