Practical Foundations for Programming Languages

Robert Harper

Het eBook kopen

Ahorra 18 %Precio de venta: $92.825 CLP.$76.116CLP

Estás en la librería de Chile

¿No estás en Chile? Elige la librería de tu país para ver los libros que puedes comprar.

Elige tu librería

Comprar ahora Regala un libro

¿Por qué leer con nosotros?

Kobo anima a los amantes de los libros a leer más.

Experiencia de lectura mejorada con nuestros eReaders Kobo

Catálogo de libros extenso y relevante

Aplicación de lectura gratuita de Kobo

Sinopsis

Categorías

Acerca de este libro

Idioma:English
ISBN:9781107301757
Fecha de lanzamiento:30 may 2013
Editorial:Cambridge University Press

Edición:Cambridge University Press
Formato de archivo:EPUB2
Tamaño de archivo:22.31 MB
Opciones de descarga:EPUB2 (Adobe DRM)

Lecturas relacionadas

Elements of Programming

Paul McJones, Alexander Stepanov

$35.268

Introduction to the Analysis of Algorithms, An

Robert Sedgewick, Philippe Flajolet

$71.474

Computational Complexity

Sanjeev Arora, Boaz Barak

$67.667

Logic in Computer Science

Michael Huth, Mark Ryan

$65.129

Mathematics of Discrete Structures for Computer Science

Gordon J. Pace

$54.670

Introduction to Compiler Design

Torben Ægidius Mogensen

$36.078

Bayesian Networks

Timo Koski, John Noble

$88.342

P, NP, and NP-Completeness

Oded Goldreich

$49.058

Introduction to Logic

Michael Genesereth, Eric Kao

$27.175

Mastering Text Mining with R

KUMAR ASHISH

$35.268

o Gratis con Kobo Plus

Modeling in Event-B

Jean-Raymond Abrial

$151.404

Practical Foundations for Programming Languages

Robert Harper

$78.663

Markov Logic

Pedro Domingos, Daniel Lowd, Ronald Brachman, William W. Cohen, Peter Stone

$32.943

Mathematical Logic for Computer Science

Mordechai Ben-Ari

$65.607

The Functional Approach to Programming

Guy Cousineau, Michel Mauny, K. Callaway

$87.966

Big Data Integration Theory

Zoran Majkić

$54.670

A Concise Introduction to Languages and Machines

Alan P. Parkes

$30.654

Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Michael Gelfond, Yulia Kahl

$60.899

Computational Logic and Set Theory

Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo, Martin Davis

$54.670

Linguistic Modeling of Information and Markup Languages

Andreas Witt, Dieter Metzing

$98.417

A Theory of Syntax

Norbert Hornstein

$45.676

Towards an Elegant Syntax

Michael Brody

$35.061

Foundations of Data Exchange

Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak

$32.142

Computability and Logic

George S. Boolos, John P. Burgess, Richard C. Jeffrey

$37.217

Essays in Syntactic Theory

Samuel David Epstein

$85.604

A First Course in Computational Algebraic Geometry

Wolfram Decker, Gerhard Pfister

$19.454

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

$151.404

Learning Bayesian Models with R

Hari Manassery Koduvely

$28.769

o Gratis con Kobo Plus

Small Dynamic Complexity Classes

Thomas Zeume

$54.670

Modal Logic for Philosophers

James W. Garson

$47.367

Theories of Programming Languages

John C. Reynolds

$73.587

Type Theory and Formal Proof

Rob Nederpelt, Herman Geuvers

$83.737

Formal Languages and Compilation

Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti

$65.607

Low-Level Programming

Igor Zhirkov

$102.200

Logic And Declarative Language

M. Downward

$62.912

Learn Electronics with Raspberry Pi

Stewart Watkiss

$58.246

Introduction to the Theory of Programming Languages

Gilles Dowek, Jean-Jacques Lévy

$37.806

Rigorous Software Development

Jorge Sousa Pinto, Maria João Frade, Simão Melo de Sousa, José Bacelar Almeida

$37.806

Modelling Foundations and Applications

Andrzej Wąsowski, Henrik Lönn

$54.670

Programming Languages and Systems

Hongseok Yang

$98.417

Compiler Design

Reinhard Wilhelm, Helmut Seidl, Sebastian Hack

$62.326

The China Information Technology Handbook

Patricia Ordóñez de Pablos, Miltiadis D. Lytras

$218.715

Foundations of Information and Knowledge Systems

Guillermo Simari, Marc Gyssens

$54.670

Beginning Robotics Programming in Java with LEGO Mindstorms

Wei Lu

$68.473

Software Engineering for Resilient Systems

Alessandro Fantechi, Patrizio Pelliccione

$43.734

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

$54.670

Formal Aspects of Component Software

Ivan Lanese, Eric Madelaine

$54.670

Programming Languages and Systems

Peter Thiemann

$59.781

OpenMP: Heterogenous Execution and Data Movements

Christian Terboven, Bronis R. de Supinski, Pablo Reble, Barbara M. Chapman, Matthias S. Müller

$51.390

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

$54.670

Formal Methods: Foundations and Applications

Thierry Lecomte, Leila Ribeiro

$54.670

Elementary Logic

Robert Lover

$43.734

High Performance Computing

Julian M. Kunkel, Rio Yokota, Michela Taufer, John Shalf

$54.670

Specification of Software Systems

V.S. Alagar, K. Periyasamy

$54.670

Software Technologies

Andreas Holzinger, Jorge Cardoso, José Cordeiro, Therese Libourel, Leszek A. Maciaszek, Marten van Sinderen

$54.670

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

$51.390

Tools and Environments for Parallel and Distributed Systems

Amr Zaky, Ted Lewis

$149.176

Open Multithreaded Transactions

Jörg Kienzle

$98.417

Scalable Uncertainty Management

Christoph Beierle, Alex Dekhtyar

$54.670

Reversible Computation

Simon Devitt, Ivan Lanese

$54.670

The Whole Truth About Whole Numbers

Sylvia Forman, Agnes M. Rash

$65.607

Separation Logic for High-level Synthesis

Felix Winterstein

$98.417

Corpus-Based Methods in Language and Speech Processing

Steve Young, Gerrit Bloothooft

$98.417

¿Te ha gustado el libro?

¡Sé la primera persona en valorar y reseñar este libro!

Esta es nuestra librería de Chile.

Practical Foundations for Programming Languages

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

Lecturas relacionadas

Elements of Programming

Introduction to the Analysis of Algorithms, An

Computational Complexity

Logic in Computer Science

Mathematics of Discrete Structures for Computer Science

Introduction to Compiler Design

Bayesian Networks

P, NP, and NP-Completeness

Introduction to Logic

Mastering Text Mining with R

Modeling in Event-B

Practical Foundations for Programming Languages

Markov Logic

Mathematical Logic for Computer Science

The Functional Approach to Programming

Big Data Integration Theory

A Concise Introduction to Languages and Machines

Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Computational Logic and Set Theory

Linguistic Modeling of Information and Markup Languages

A Theory of Syntax

Towards an Elegant Syntax

Foundations of Data Exchange

Computability and Logic

Essays in Syntactic Theory

A First Course in Computational Algebraic Geometry

Tractability

Learning Bayesian Models with R

Small Dynamic Complexity Classes

Modal Logic for Philosophers

Theories of Programming Languages

Type Theory and Formal Proof

Formal Languages and Compilation

Low-Level Programming

Logic And Declarative Language

Learn Electronics with Raspberry Pi

Introduction to the Theory of Programming Languages

Rigorous Software Development

Modelling Foundations and Applications

Programming Languages and Systems

Compiler Design

The China Information Technology Handbook

Foundations of Information and Knowledge Systems

Beginning Robotics Programming in Java with LEGO Mindstorms

Software Engineering for Resilient Systems

Interactive Theorem Proving

Formal Aspects of Component Software

Programming Languages and Systems

OpenMP: Heterogenous Execution and Data Movements

Logic-Based Program Synthesis and Transformation

Formal Methods: Foundations and Applications

Elementary Logic

High Performance Computing

Specification of Software Systems

Software Technologies

Declarative Programming and Knowledge Management

Tools and Environments for Parallel and Distributed Systems

Open Multithreaded Transactions

Scalable Uncertainty Management

Reversible Computation

The Whole Truth About Whole Numbers

Separation Logic for High-level Synthesis

Corpus-Based Methods in Language and Speech Processing

¿Te ha gustado el libro?

eBooks

Audiolibros

¿Por qué leer con nosotros?

¿Te ha gustado el libro?

Últimas publicaciones del blog

Lecturas relacionadas

Elements of Programming

Introduction to the Analysis of Algorithms, An