Artículos relacionados a 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) - Tapa blanda

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

Sinopsis

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

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar usado

Condición: Bueno
Berling, Heidelberg, New York,...
Ver este artículo

EUR 1,67 gastos de envío en Estados Unidos de America

Destinos, gastos y plazos de envío

Comprar nuevo

Ver este artículo

EUR 3,43 gastos de envío en Estados Unidos de America

Destinos, gastos y plazos de envío

Resultados de la búsqueda para Semantics of Data Types: International Symposium Sophia-Anti...

Imagen del vendedor

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

Librería: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: 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. Nº de ref. del artículo: 625520

Contactar al vendedor

Comprar usado

EUR 14,15
Convertir moneda
Gastos de envío: EUR 1,67
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Kahn, G.B.; MacQueen, D.B.; Plotkin, G.
Publicado por Springer-Verlag, 1984
ISBN 10: 3540133461 ISBN 13: 9783540133469
Antiguo o usado Tapa blanda

Librería: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: 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. Nº de ref. del artículo: 622471

Contactar al vendedor

Comprar usado

EUR 21,23
Convertir moneda
Gastos de envío: EUR 1,67
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Kahn, G. [Editor]; MacQueen, D.B. [Editor]; Plotkin, G. [Editor];
Publicado por Springer, 1984
ISBN 10: 3540133461 ISBN 13: 9783540133469
Antiguo o usado Paperback

Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Nº de ref. del artículo: UTD14-14444

Contactar al vendedor

Comprar usado

EUR 40,02
Convertir moneda
Gastos de envío: EUR 6,00
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Kahn, G.; Plotkin, G.; MacQueen, D. B.
Publicado por Springer, 1984
ISBN 10: 3540133461 ISBN 13: 9783540133469
Nuevo Tapa blanda

Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020160159

Contactar al vendedor

Comprar nuevo

EUR 48,09
Convertir moneda
Gastos de envío: EUR 3,43
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

G. Kahn
ISBN 10: 3540133461 ISBN 13: 9783540133469
Nuevo Paperback

Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Paperback. Condición: new. Paperback. Proceedings of the International Symposium on the Semantics of Data Types. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9783540133469

Contactar al vendedor

Comprar nuevo

EUR 51,53
Convertir moneda
Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Kahn, G.; Plotkin, G.; MacQueen, D. B.
Publicado por Springer, 1984
ISBN 10: 3540133461 ISBN 13: 9783540133469
Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. In. Nº de ref. del artículo: ria9783540133469_new

Contactar al vendedor

Comprar nuevo

EUR 42,83
Convertir moneda
Gastos de envío: EUR 13,79
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Kahn, G.
Publicado por Springer 1984-06, 1984
ISBN 10: 3540133461 ISBN 13: 9783540133469
Nuevo PF

Librería: Chiron Media, Wallingford, Reino Unido

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540133469

Contactar al vendedor

Comprar nuevo

EUR 40,62
Convertir moneda
Gastos de envío: EUR 17,83
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 10 disponibles

Añadir al carrito

Imagen del vendedor

G. Kahn
ISBN 10: 3540133461 ISBN 13: 9783540133469
Nuevo Taschenbuch
Impresión bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783540133469

Contactar al vendedor

Comprar nuevo

EUR 37,44
Convertir moneda
Gastos de envío: EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen de archivo

Kahn, G.; Plotkin, G.; MacQueen, D. B.
Publicado por Springer, 1984
ISBN 10: 3540133461 ISBN 13: 9783540133469
Nuevo Tapa blanda

Librería: Books Puddle, New York, NY, Estados Unidos de America

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. pp. 404. Nº de ref. del artículo: 263079099

Contactar al vendedor

Comprar nuevo

EUR 78,96
Convertir moneda
Gastos de envío: EUR 3,43
A Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 4 disponibles

Añadir al carrito

Imagen del vendedor

Kahn, G.|MacQueen, D. B.|Plotkin, G.
Publicado por Springer Berlin Heidelberg, 1984
ISBN 10: 3540133461 ISBN 13: 9783540133469
Nuevo Tapa blanda
Impresión bajo demanda

Librería: moluna, Greven, Alemania

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: 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. Nº de ref. del artículo: 4882154

Contactar al vendedor

Comprar nuevo

EUR 35,19
Convertir moneda
Gastos de envío: EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Existen otras 4 copia(s) de este libro

Ver todos los resultados de su búsqueda