Verwandte Artikel zu 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) - Softcover
Inhaltsangabe
Proceedings of the International Symposium on the Semantics of Data Types.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
Neu kaufen
Diesen Artikel anzeigen
EUR 35,19
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Semantics of Data Types: International Symposium Sophia-Anti...
Foto des Verkäufers
Semantics of Data Types
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 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
Anzahl: Mehr als 20 verfügbar
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
Anzahl: 1 verfügbar
Foto des Verkäufers
Semantics of Data Types
ISBN 10: 3540133461
ISBN 13: 9783540133469
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540133469
Anzahl: 2 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
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
Anzahl: 2 verfügbar
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
Anzahl: 1 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
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
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783540133469
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)
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
Anzahl: 1 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
Anzahl: Mehr als 20 verfügbar