Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings (Lecture Notes in Computer Science, 173) - Softcover
Synopsis
Proceedings of the International Symposium on the Semantics of Data Types.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Semantics of Data Types: International Symposium Sophia-Anti...
Seller Image
Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 1984 Proceedings
Published by
Springer-Verlag, Berling, Heidelberg, New York, Tokyo, 1984
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
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
Stock Image
Semantics of Data Types
Seller: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, U.S.A.
Seller rating 5 out of 5 stars
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
Stock Image
Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # UTD14-14444
Stock Image
Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings (Lecture Notes in Computer Science, 173)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020160159
Stock Image
Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings (Lecture Notes in Computer Science, 173)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540133469_new
Buy New
US$ 50.60
US$ 16.21 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Semantics of Data Types : International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540133469
Buy New
US$ 47.76
US$ 20.96 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Semantics of Data Types
Published by
Springer Berlin Heidelberg Jun 1984, 1984
ISBN 10: 3540133461
ISBN 13: 9783540133469
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 -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
Buy New
US$ 45.17
US$ 26.94 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Semantics of Data Types
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 404. Seller Inventory # 263079099
Stock Image
Semantics of Data Types
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 404 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5850212
Buy New
US$ 68.72
US$ 8.80 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Semantics of Data Types
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 404. Seller Inventory # 183079089
Buy New
US$ 75.43
US$ 11.66 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available