Name: Programming Languages: Build, Prove, and Compare (en Inglés)
Price: 118510.00 CLP
Availability: InStock
Author: Ramsey, Norman
ISBN: 9781107180185

portada Programming Languages: Build, Prove, and Compare (en Inglés)

Formato

Libro Físico

Autor

Norman Ramsey

Editorial

Cambridge University Press

Año

2022

Idioma

Inglés

N° páginas

600

Encuadernación

Tapa Dura

Dimensiones

25.4 x 17.8 x 4.3 cm

Peso

1.59 kg.

ISBN13

9781107180185

Categorías

Lenguajes de programación scripting

Programming Languages: Build, Prove, and Compare (en Inglés)

Norman Ramsey (Autor) · Cambridge University Press · Tapa Dura

Libro Nuevo

$ 118.510

$ 182.330

Ahorras: $ 63.820

35% descuento

Envío normal

Origen: España (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Miércoles 12 de Junio y el Jueves 20 de Junio.

Lo recibirás en cualquier lugar de Chile entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Programming Languages: Build, Prove, and Compare (en Inglés)"

Computer scientists often need to learn new programming languages quickly. The best way to prepare for this is to understand the foundational principles that underlie even the most complicated industrial languages. This text for an undergraduate programming languages course distills great languages and their design principles down to easy-to-learn 'bridge' languages implemented by interpreters whose key parts are explained in the text. The book goes deep into the roots of both functional and object-oriented programming, and it shows how types and modules, including generics/polymorphism, contribute to effective programming. The book is not just about programming languages; it is also about programming. Through concepts, examples, and more than 300 practice exercises that exploit the interpreter, students learn not only what programming-language features are but also how to do things with them. Substantial implementation projects include Milner's type inference, both copying and mark-and-sweep garbage collection, and arithmetic on arbitrary-precision integers.