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:
Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 30 de agosto de 2024
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
SUPER FAST SHIPPING. N° de ref. del artículo 9781107150300
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
Practical Foundations for Programming Languages
Publicado por
Cambridge University Press (edition 2), 2016
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
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
Comprar usado
EUR 58,85
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Practical Foundations for Programming Languages
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
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
Comprar nuevo
EUR 73,32
Gastos de envío:
EUR 3,46
A Estados Unidos de America
Cantidad disponible: 12 disponibles
Imagen del vendedor
Practical Foundations for Programming Languages
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
Condición: New. Nº de ref. del artículo: 25210993-n
Comprar nuevo
EUR 74,62
Gastos de envío:
EUR 2,29
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Practical foundations for programming languages - Robert Harper
Librería: ChouetteCoop, Kervignac, Francia
Calificación del vendedor: 4 de 5 estrellas
Condición: Used: Good. Occasion - Bon Etat - Practical foundations for programming languages (2016) - Grand Format. Nº de ref. del artículo: 2941445
Comprar usado
EUR 76,84
Gastos de envío:
EUR 495,00
De Francia a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Practical Foundations for Programming Languages
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
Condición: New. Nº de ref. del artículo: ABLIING23Mar2317530267473
Comprar nuevo
EUR 81,03
Gastos de envío:
EUR 3,46
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Practical Foundations for Programming Languages
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
Condición: New. Nº de ref. del artículo: 25210993-n
Comprar nuevo
EUR 82,15
Gastos de envío:
EUR 17,06
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Practical Foundations for Programming Languages
Publicado por
Cambridge University Press, 2016
ISBN 10: 1107150302
ISBN 13: 9781107150300
Nuevo
Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9781107150300_new
Comprar nuevo
EUR 82,17
Gastos de envío:
EUR 13,63
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Practical Foundations for Programming Languages
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
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 25210993
Comprar usado
EUR 84,95
Gastos de envío:
EUR 2,29
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Practical Foundations for Programming Languages
Impresión bajo demandaLibrería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
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
Comprar nuevo
EUR 86,42
Gastos de envío:
EUR 17,06
De Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Practical Foundations for Programming Languages
Publicado por
Cambridge University Press, 2016
ISBN 10: 1107150302
ISBN 13: 9781107150300
Nuevo
Tapa dura
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
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
Comprar nuevo
EUR 89,97
Gastos de envío:
EUR 24,74
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles