Artículos relacionados a Games and Full Abstraction for a Functional Metalanguage...
Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations) - Tapa dura
Reseña del editor:
The Distinguished Dissertation series is published on behalf of the Conference of Professors and Heads of Computing and The British Computer Society, who annually select the best British PhD dissertations in computer science for publication. The dissertations are selected on behalf of the CPHC by a panel of eight academics. Each dissertation chosen makes a noteworthy contribution to the subject and reaches a high standard of exposition, placing all results clearly in the context of computer science as a whole. In this way computer scientists with significantly different interests are able to grasp the essentials - or even find a means of entry - to an unfamiliar research topic. This book develops a theory of game semantics, a recently discovered setting for modelling and reasoning about sequential programming languages, suitable for interpreting higher-order functional languages with rich type structure, and applies it to constr uct a fully abstract model of the metalanguage FPC.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación1998
- ISBN 10 3540762558
- ISBN 13 9783540762553
- EncuadernaciónTapa dura
- Número de páginas208
Comprar nuevo
Ver este artículo
EUR 48,68
Gastos de envío:
EUR 3,73
A Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen de archivo
Games and Full Abstraction for a Functional Metalanguage With Recursive Types
Publicado por
Springer
(1998)
ISBN 10: 3540762558
ISBN 13: 9783540762553
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. pp. 189 1st Edition. Nº de ref. del artículo: 26506824
Comprar nuevo
EUR 48,68
Convertir moneda
Imagen de archivo
Games and Full Abstraction for a Functional Metalanguage With Recursive Types
Publicado por
Springer
(1998)
ISBN 10: 3540762558
ISBN 13: 9783540762553
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. pp. 189. Nº de ref. del artículo: 7341079
Comprar nuevo
EUR 51,69
Convertir moneda
Gastos de envío:
EUR 7,59
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Publicado por
Springer
(1998)
ISBN 10: 3540762558
ISBN 13: 9783540762553
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Nº de ref. del artículo: ABEOCT23-193612
Comprar nuevo
EUR 80,26
Convertir moneda
Imagen de archivo
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Publicado por
Springer
(1998)
ISBN 10: 3540762558
ISBN 13: 9783540762553
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability. Nº de ref. del artículo: ABTR-220182
Comprar nuevo
EUR 80,26
Convertir moneda
Imagen de archivo
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Publicado por
Springer
(1998)
ISBN 10: 3540762558
ISBN 13: 9783540762553
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also. Nº de ref. del artículo: ABRR-220182
Comprar nuevo
EUR 83,03
Convertir moneda
Imagen del vendedor
Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations) [Hardcover ]
Publicado por
Springer
(1998)
ISBN 10: 3540762558
ISBN 13: 9783540762553
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Hardcover. Condición: new. This item is printed on demand. Nº de ref. del artículo: 9783540762553
Comprar nuevo
EUR 100,72
Convertir moneda
Imagen de archivo
Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations)
Publicado por
Springer
(1998)
ISBN 10: 3540762558
ISBN 13: 9783540762553
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. Book is in NEW condition. Nº de ref. del artículo: 3540762558-2-1
Comprar nuevo
EUR 130,83
Convertir moneda
Imagen de archivo
Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations)
Publicado por
Springer
(1998)
ISBN 10: 3540762558
ISBN 13: 9783540762553
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. New! This book is in the same immaculate condition as when it was published. Nº de ref. del artículo: 353-3540762558-new
Comprar nuevo
EUR 130,83
Convertir moneda
Imagen del vendedor
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Publicado por
Springer, Berlin
(1998)
ISBN 10: 3540762558
ISBN 13: 9783540762553
Nuevo
Tapa dura
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. The Distinguished Dissertation series is published on behalf of the Conference of Professors and Heads of Computing and The British Computer Society, who annually select the best British PhD dissertations in computer science for publication. The dissertatio. Nº de ref. del artículo: 908122542
Comprar nuevo
EUR 112,25
Convertir moneda
Gastos de envío:
EUR 48,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío