Items related to Semantics of Data Types: International Symposium Sophia-Anti...

Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings: 173 (Lecture Notes in Computer Science, 173) - Softcover

 
9783540133469: Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings: 173 (Lecture Notes in Computer Science, 173)

Synopsis

Proceedings of the International Symposium on the Semantics of Data Types.

"synopsis" may belong to another edition of this title.

Buy Used

Condition: Very Good
Berling, Heidelberg, New York,...
View this item

£ 18.53 shipping from U.S.A. to United Kingdom

Destination, rates & speeds

Buy New

View this item

£ 2.49 shipping within United Kingdom

Destination, rates & speeds

Search results for Semantics of Data Types: International Symposium Sophia-Anti...

Seller Image

Kahn, G.B.; MacQueen, D.B.; Plotkin, G.
ISBN 10: 3540133461 ISBN 13: 9783540133469
Used Paperback

Seller: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Very Good. Berling, Heidelberg, New York, Tokyo: Springer-Verlag, 1984. 391 pp. 24 x 16.5 cm. Silver and burgundy textured paper wraps. Light soiling and bumping to front cover; light wrinkling at head of spine. Sticker ghost to title page, light age toning to interior pages; interior otherwise clean and unmarked. Binding firm. Soft Cover. Very Good. Seller Inventory # 625520

Contact seller

Buy Used

£ 12.22
Convert currency
Shipping: £ 18.53
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Kahn, G.
Published by Springer 1984-06, 1984
ISBN 10: 3540133461 ISBN 13: 9783540133469
New PF

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

PF. Condition: New. Seller Inventory # 6666-IUK-9783540133469

Contact seller

Buy New

£ 33.06
Convert currency
Shipping: £ 2.49
Within United Kingdom
Destination, rates & speeds

Quantity: 10 available

Add to basket

Stock Image

Kahn, G.B.; MacQueen, D.B.; Plotkin, G.
Published by Springer-Verlag, 1984
ISBN 10: 3540133461 ISBN 13: 9783540133469
Used Softcover

Seller: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Good. Springer-Verlag, 1984. This Book is in Good Condition. Light wear to covers and edges, light erasures on Title page, text is clean with no marks, binding tight. Not Ex- Library or Remaindered. 100% Guaranteed. paperback. Good. Seller Inventory # 622471

Contact seller

Buy Used

£ 18.33
Convert currency
Shipping: £ 18.53
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 1984
ISBN 10: 3540133461 ISBN 13: 9783540133469
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783540133469_new

Contact seller

Buy New

£ 37.30
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

G. Kahn
ISBN 10: 3540133461 ISBN 13: 9783540133469
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A kernel language for abstract data types and modules.- A semantics of multiple inheritance.- Understanding Russell a first attempt.- A basic Abstract Semantic Algebra.- Using information systems to solve reoursive domain equations effectively.- The semantics of second order polymorphic lambda calculus.- Polymorphism is not set-theoretic.- A theory of data type representation independence.- Abstract data types and their extensions within a constructive logic.- Deriving structural induction in LCF.- Executable specification of static semantics.- Cartesian closed categories of enumerations for effective type structures.- Type inference and type containment.- F-semantics for intersection type discipline.- The typechecking of programs with implicit type structure.- Partial implementations of abstract data types: A dissenting view on errors.- Building specifications in an arbitrary institution.- A proof system for verifying composability of abstract implementations.- Towards a proof theory of parameterized specifications. 404 pp. Englisch. Seller Inventory # 9783540133469

Contact seller

Buy New

£ 33.43
Convert currency
Shipping: £ 9.54
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

G. Kahn
Published by Springer Berlin Heidelberg, 1984
ISBN 10: 3540133461 ISBN 13: 9783540133469
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - A kernel language for abstract data types and modules.- A semantics of multiple inheritance.- Understanding Russell a first attempt.- A basic Abstract Semantic Algebra.- Using information systems to solve reoursive domain equations effectively.- The semantics of second order polymorphic lambda calculus.- Polymorphism is not set-theoretic.- A theory of data type representation independence.- Abstract data types and their extensions within a constructive logic.- Deriving structural induction in LCF.- Executable specification of static semantics.- Cartesian closed categories of enumerations for effective type structures.- Type inference and type containment.- F-semantics for intersection type discipline.- The typechecking of programs with implicit type structure.- Partial implementations of abstract data types: A dissenting view on errors.- Building specifications in an arbitrary institution.- A proof system for verifying composability of abstract implementations.- Towards a proof theory of parameterized specifications. Seller Inventory # 9783540133469

Contact seller

Buy New

£ 33.43
Convert currency
Shipping: £ 12.13
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Kahn, G.|MacQueen, D. B.|Plotkin, G.
Published by Springer Berlin Heidelberg, 1984
ISBN 10: 3540133461 ISBN 13: 9783540133469
New Softcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A kernel language for abstract data types and modules.- A semantics of multiple inheritance.- Understanding Russell a first attempt.- A basic Abstract Semantic Algebra.- Using information systems to solve reoursive domain equations effectively.- The semanti. Seller Inventory # 4882154

Contact seller

Buy New

£ 31.43
Convert currency
Shipping: £ 21.67
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

G. Kahn
ISBN 10: 3540133461 ISBN 13: 9783540133469
New Taschenbuch

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Neuware -A kernel language for abstract data types and modules.- A semantics of multiple inheritance.- Understanding Russell a first attempt.- A basic Abstract Semantic Algebra.- Using information systems to solve reoursive domain equations effectively.- The semantics of second order polymorphic lambda calculus.- Polymorphism is not set-theoretic.- A theory of data type representation independence.- Abstract data types and their extensions within a constructive logic.- Deriving structural induction in LCF.- Executable specification of static semantics.- Cartesian closed categories of enumerations for effective type structures.- Type inference and type containment.- F-semantics for intersection type discipline.- The typechecking of programs with implicit type structure.- Partial implementations of abstract data types: A dissenting view on errors.- Building specifications in an arbitrary institution.- A proof system for verifying composability of abstract implementations.- Towards a proof theory of parameterized specifications.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch. Seller Inventory # 9783540133469

Contact seller

Buy New

£ 33.43
Convert currency
Shipping: £ 30.34
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Kahn, G. [Editor]; MacQueen, D.B. [Editor]; Plotkin, G. [Editor];
Published by Springer, 1984
ISBN 10: 3540133461 ISBN 13: 9783540133469
Used Paperback

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # UTD14-14444

Contact seller

Buy Used

£ 34.55
Convert currency
Shipping: £ 55.60
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 1984
ISBN 10: 3540133461 ISBN 13: 9783540133469
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020160159

Contact seller

Buy New

£ 41.52
Convert currency
Shipping: £ 55.60
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket