Practical Foundations for Programming Languages

Harper, Robert

ISBN 10: 1107150302 ISBN 13: 9781107150300
Editorial: Cambridge University Press, 2016
Nuevos Encuadernación de tapa dura

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

Vendedor de AbeBooks desde 25 de marzo de 2015

Este artículo en concreto ya no está disponible.
Ver los artículos de este vendedor Crear una petición para artículos similares

Descripción

Descripción:

In. N° de ref. del artículo ria9781107150300_new

Denunciar este artículo

Sinopsis:

This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively and rigorously while relying on only elementary mathematics. These tools are used to analyze and prove properties of languages and provide the framework for combining and comparing language features. The broad range of concepts includes fundamental data types such as sums and products, polymorphic and abstract types, dynamic typing, dynamic dispatch, subtyping and refinement types, symbols and dynamic classification, parallelism and cost semantics, and concurrency and distribution. The methods are directly applicable to language implementation, to the development of logics for reasoning about programs, and to the formal verification language properties such as type safety. This thoroughly revised second edition includes exercises at the end of nearly every chapter and a new chapter on type refinements.

Acerca del autor: Robert Harper is a professor in the computer science department at Carnegie Mellon University, Pennsylvania. His main research interest is in the application of type theory to the design and implementation of programming languages and to the mechanization of their meta-theory. Harper is a recipient of the Allen Newell Medal for Research Excellence and the Herbert A. Simon Award for Teaching Excellence, and is an Association for Computing Machinery Fellow.

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

Detalles bibliográficos

Título: Practical Foundations for Programming ...
Editorial: Cambridge University Press
Año de publicación: 2016
Encuadernación: Encuadernación de tapa dura
Condición: New
Edición: 2ª Edición

Los mejores resultados en AbeBooks

Imagen de archivo

Harper, Robert
ISBN 10: 1107150302 ISBN 13: 9781107150300
Antiguo o usado Tapa dura

Librería: BooksRun, Philadelphia, PA, 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

Hardcover. Condición: Good. 2. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience. Nº de ref. del artículo: 1107150302-11-1

Contactar al vendedor

Comprar usado

EUR 57,68
Gastos de envío gratis
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Harper, Robert
Publicado por Cambridge University Press, 2016
ISBN 10: 1107150302 ISBN 13: 9781107150300
Nuevo Tapa dura

Librería: Textbooks_Source, Columbia, MO, 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

Hardcover. Condición: New. 2nd Edition. Ships in a BOX from Central Missouri! Ships same or next business day. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). Nº de ref. del artículo: 002016276N

Contactar al vendedor

Comprar nuevo

EUR 72,01
EUR 3,40 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: 12 disponibles

Añadir al carrito

Imagen del vendedor

Harper, Robert
Publicado por Cambridge University Press, 2016
ISBN 10: 1107150302 ISBN 13: 9781107150300
Nuevo Tapa dura

Librería: GreatBookPrices, Columbia, MD, 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: 25210993-n

Contactar al vendedor

Comprar nuevo

EUR 73,19
EUR 2,25 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Robert Harper
Publicado por 2016, 2016
ISBN 10: 1107150302 ISBN 13: 9781107150300
Antiguo o usado Tapa dura

Librería: ChouetteCoop, Kervignac, Francia

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

Condición: Used: Good. Occasion - Bon Etat - Practical foundations for programming languages (2016) - Grand Format. Nº de ref. del artículo: 2941445

Contactar al vendedor

Comprar usado

EUR 76,84
EUR 495,00 shipping
Se envía de Francia a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Harper, Robert
Publicado por Cambridge University Press, 2016
ISBN 10: 1107150302 ISBN 13: 9781107150300
Nuevo Tapa dura

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: ABLIING23Mar2317530267473

Contactar al vendedor

Comprar nuevo

EUR 79,42
EUR 3,40 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Harper, Robert
Publicado por Cambridge University Press, 2016
ISBN 10: 1107150302 ISBN 13: 9781107150300
Antiguo o usado Tapa dura

Librería: GreatBookPrices, Columbia, MD, 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: As New. Unread book in perfect condition. Nº de ref. del artículo: 25210993

Contactar al vendedor

Comprar usado

EUR 83,26
EUR 2,25 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Harper, Robert
Publicado por Cambridge Univ Pr, 2016
ISBN 10: 1107150302 ISBN 13: 9781107150300
Nuevo Tapa dura
Impresión bajo demanda

Librería: Revaluation Books, Exeter, Reino Unido

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

Hardcover. Condición: Brand New. 550 pages. 9.00x7.00x1.00 inches. In Stock. This item is printed on demand. Nº de ref. del artículo: __1107150302

Contactar al vendedor

Comprar nuevo

EUR 86,82
EUR 17,14 shipping
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen de archivo

Harper, Robert
Publicado por Cambridge University Press, 2016
ISBN 10: 1107150302 ISBN 13: 9781107150300
Nuevo Tapa dura

Librería: California Books, Miami, FL, 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: I-9781107150300

Contactar al vendedor

Comprar nuevo

EUR 89,42
Gastos de envío gratis
Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Harper, Robert
Publicado por Cambridge University Press, 2016
ISBN 10: 1107150302 ISBN 13: 9781107150300
Nuevo Tapa dura

Librería: GreatBookPricesUK, Woodford Green, 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. Nº de ref. del artículo: 25210993-n

Contactar al vendedor

Comprar nuevo

EUR 90,37
EUR 17,14 shipping
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Robert Harper
Publicado por Cambridge University Press, 2016
ISBN 10: 1107150302 ISBN 13: 9781107150300
Nuevo Tapa dura
Impresión bajo demanda

Librería: THE SAINT BOOKSTORE, Southport, Reino Unido

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

Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 1100. Nº de ref. del artículo: C9781107150300

Contactar al vendedor

Comprar nuevo

EUR 90,38
EUR 24,85 shipping
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Existen otras 13 copia(s) de este libro

Ver todos los resultados de su búsqueda