Semantics of Data Types | International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings
G. Kahn (u. a.)
ISBN 10: 3540133461 ISBN 13: 9783540133469
Verlag: Springer, 1984
Neu
Taschenbuch
Verkäufer
preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 5. August 2024
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
Semantics of Data Types | International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings | G. Kahn (u. a.) | Taschenbuch | viii | Englisch | 1984 | Springer | EAN 9783540133469 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Bestandsnummer des Verkäufers 101943431
Inhaltsangabe:
Proceedings of the International Symposium on the Semantics of Data Types.
Reseña del editor: Proceedings of the International Symposium on the Semantics of Data Types.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Semantics of Data Types | International ...
Verlag: Springer
Erscheinungsdatum: 1984
Einband: Taschenbuch
Zustand: Neu
Beste Suchergebnisse bei AbeBooks
Foto des Verkäufers
Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 1984 Proceedings
Verlag:
Springer-Verlag, Berling, Heidelberg, New York, Tokyo, 1984
ISBN 10: 3540133461
ISBN 13: 9783540133469
Gebraucht
Paperback
Anbieter: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: 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. Bestandsnummer des Verkäufers 625520
Beispielbild für diese ISBN
Semantics of Data Types
Anbieter: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 622471
Foto des Verkäufers
Semantics of Data Types
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 4882154
Neu kaufen
EUR 35,19
Versand:
EUR 48,99
Von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Semantics of Data Types : International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540133469
Neu kaufen
EUR 37,44
Versand:
EUR 63,05
Von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Semantics of Data Types
Verlag:
Springer Berlin Heidelberg, J.B. Metzler Jun 1984, 1984
ISBN 10: 3540133461
ISBN 13: 9783540133469
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. 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. Bestandsnummer des Verkäufers 9783540133469
Neu kaufen
EUR 37,44
Versand:
EUR 60,00
Von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Semantics of Data Types
Verlag:
Springer Berlin Heidelberg Jun 1984, 1984
ISBN 10: 3540133461
ISBN 13: 9783540133469
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540133469
Neu kaufen
EUR 37,44
Versand:
EUR 23,00
Von Deutschland nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Bestandsnummer des Verkäufers UTD14-14444
Beispielbild für diese ISBN
Semantics of Data Types : International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540133469
Neu kaufen
EUR 40,26
Versand:
EUR 17,67
Von Vereinigtes Königreich nach USA
Anzahl: 10 verfügbar
Beispielbild für diese ISBN
Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings (Lecture Notes in Computer Science, 173)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540133469_new
Neu kaufen
EUR 42,45
Versand:
EUR 13,67
Von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings (Lecture Notes in Computer Science, 173)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020160159
Neu kaufen
EUR 48,28
Versand:
EUR 3,44
Innerhalb der USA
Anzahl: Mehr als 20 verfügbar