Programming Distributed Computing Systems

A Foundational Approach

Carlos A. Varela,Gul Agha

Comprar el eBook

Ahorra 28 %Precio de venta: $64.296 CLP.$46.293CLP

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

¿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:9780262313360
Fecha de lanzamiento:17 oct 2020
Editorial:MIT Press

Edición:The MIT Press
Formato de archivo:EPUB3
Tamaño de archivo:14.38 MB
Opciones de descarga:EPUB3 (Adobe DRM)

Lecturas relacionadas

Software Design for Flexibility

Chris Hanson, Gerald Jay Sussman

$42.434

Structure and Interpretation of Computer Programs

Harold Abelson, Gerald Jay Sussman, Martin Henz, Tobias Wrigstad, Julie Sussman

$57.869

Building Machine Learning Systems with Python

Willi Richert, Luis Pedro Coelho

$29.893

o Gratis con Kobo Plus

Applied Text Analysis with Python

Benjamin Bengfort, Rebecca Bilbro, Tony Ojeda

$43.978

Machine Learning Algorithms

Giuseppe Bonaccorso

$44.362

o Gratis con Kobo Plus

How to Design Programs, second edition

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi

$46.293

Mathematics of Discrete Structures for Computer Science

Gordon J. Pace

$56.180

Python for Scientists

John M. Stewart

$36.904

Python Natural Language Processing

Jalaj Thanaki

$44.362

o Gratis con Kobo Plus

Building Machine Learning Systems with Python

Luis Pedro Coelho, Willi Richert, Matthieu Brucher

$36.645

o Gratis con Kobo Plus

Programming Languages and Systems

Amal Ahmed

Gratis

Computer Aided Verification

Alexandra Silva, K. Rustan M. Leino

Gratis

Introduction to Compiler Design

Torben Ægidius Mogensen

$37.074

Introduction to Compiler Design

Torben Ægidius Mogensen

$56.180

Programming Languages and Systems

Luís Caires

Gratis

Hands-On Markov Models with Python

Ankur Ankan, Abinash Panda

$29.893

o Gratis con Kobo Plus

Numerical Python

Robert Johansson

$55.653

The Functional Approach to Programming

Guy Cousineau, Michel Mauny, K. Callaway

$91.402

Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Michael Gelfond, Yulia Kahl

$63.278

Programming Languages and Systems

Thomas Wies

Gratis

Introduction to Computation

Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler

$41.570

Theories of Programming Languages

John C. Reynolds

$76.461

Trends in Functional Programming Volume 6

Marko Van Eekelen

$42.443

Introducing Software Verification with Dafny Language

Boro Sitnikovski

$36.750

Theory of Computational Complexity

Ding-Zhu Du, Ker-I Ko

$114.942

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV

Abdelkader Hameurlain, Josef Küng, Roland Wagner, Hendrik Decker, Lenka Lhotska, Sebastian Link

$56.180

Specification of Software Systems

V.S. Alagar, K. Periyasamy

$56.180

Practical Aspects of Declarative Languages

John Reppy, Marco Gavanelli

$44.943

Functional and Logic Programming

Andy King, Oleg Kiselyov

$52.809

Practical Aspects of Declarative Languages

Yuliya Lierler, Walid Taha

$56.180

Programming Languages and Systems

Bor-Yuh Evan Chang

$56.180

Logic-Based Program Synthesis and Transformation

Emanuele De Angelis, Wim Vanhoof

$61.799

Programming Languages and Operational Semantics

Maribel Fernández

$44.943

A List of Successes That Can Change the World

Sam Lindley, Conor McBride, Phil Trinder, Don Sannella

$56.180

Functional and Logic Programming

John P. Gallagher, Martin Sulzmann

$56.180

Perspectives of System Informatics

Alexander K. Petrenko, Andrei Voronkov

$56.180

Programming Languages and Systems

Atsushi Igarashi

$56.180

Mathematics of Program Construction

Ralf Hinze, Janis Voigtländer

$56.180

Modeling and Management of Fuzzy Semantic RDF Data

Zongmin Ma, Guanfeng Li, Ruizhe Ma

$101.133

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia

$56.180

Formal Languages and Compilation

Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti

$67.418

Formal Analysis by Abstract Interpretation

Benjamin Aziz

$67.418

General Game Playing

Michael Genesereth, Michael Thielscher

$44.362

Grammatical Inference

Wojciech Wieczorek

$123.609

Trends in Functional Programming Volume 7

Henrik Nilsson

$42.443

Compiler Design

Reinhard Wilhelm, Helmut Seidl, Sebastian Hack

$64.047

Machine Learning and Deep Learning With Python

James Chen

$28.929

Programming Languages and Systems

Ilya Sergey

$73.037

Programming Languages and Systems

Peter Thiemann

$56.180

Trends in Functional Programming

Manuel Serrano, Jurriaan Hage

$44.943

Programming Languages and Systems

Hongseok Yang

$101.133

Reasoning Web. Declarative Artificial Intelligence

Marco Manna, Andreas Pieris

$56.180

Meta-Programming and Model-Driven Meta-Program Development

Vytautas Štuikys, Robertas Damaševičius

$101.133

Advances in Cryptology – ASIACRYPT 2021

Mehdi Tibouchi, Huaxiong Wang

$112.372

Verified Software. Theories, Tools, and Experiments

Ruzica Piskac, Philipp Rümmer

$56.180

Logic Programming and Nonmonotonic Reasoning

Georg Gottlob, Daniela Inclezan, Marco Maratea

$82.028

Trends in Functional Programming

Wouter Swierstra, Nicolas Wu

$50.561

Implementation and Application of Functional Languages

Ralf Hinze

$50.561

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

$56.180

Verified Software. Theories, Tools, and Experiments

Andrei Paskevich, Thomas Wies

$56.180

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi

$134.848

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

$52.809

Mathematics of Program Construction

Ekaterina Komendantskaya

$64.047

Reasoning Web. Declarative Artificial Intelligence

Mantas Šimkus, Ivan Varzinczak

$89.895

Theoretical Aspects of Computing – ICTAC 2022

Helmut Seidl, Zhiming Liu, Corina S. Pasareanu

$56.180

Static Analysis

Xavier Rival

$56.180

Reasoning Web. Web Logic Rules

Wolfgang Faber, Adrian Paschke

$56.180

Logic-Based Program Synthesis and Transformation

Maribel Fernández

$84.276

Small Dynamic Complexity Classes

Thomas Zeume

$56.180

Ver más por autor

Concurrent Programming, Open Systems and Formal Methods

Jose Meseguer, Carlos A. Varela, Nalini Venkatasubramanian

$89.895

¿Te ha gustado el libro?

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

Esta es nuestra librería de Chile.

Programming Distributed Computing Systems

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Detalles de accesibilidad

Cómo leer

Lecturas relacionadas

Software Design for Flexibility

Structure and Interpretation of Computer Programs

Building Machine Learning Systems with Python

Applied Text Analysis with Python

Machine Learning Algorithms

How to Design Programs, second edition

Mathematics of Discrete Structures for Computer Science

Python for Scientists

Python Natural Language Processing

Building Machine Learning Systems with Python

Programming Languages and Systems

Computer Aided Verification

Introduction to Compiler Design

Introduction to Compiler Design

Programming Languages and Systems

Hands-On Markov Models with Python

Numerical Python

The Functional Approach to Programming

Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Programming Languages and Systems

Introduction to Computation

Theories of Programming Languages

Trends in Functional Programming Volume 6

Introducing Software Verification with Dafny Language

Theory of Computational Complexity

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV

Specification of Software Systems

Practical Aspects of Declarative Languages

Functional and Logic Programming

Practical Aspects of Declarative Languages

Programming Languages and Systems

Logic-Based Program Synthesis and Transformation

Programming Languages and Operational Semantics

A List of Successes That Can Change the World

Functional and Logic Programming

Perspectives of System Informatics

Programming Languages and Systems

Mathematics of Program Construction

Modeling and Management of Fuzzy Semantic RDF Data

Logic-Based Program Synthesis and Transformation

Formal Languages and Compilation

Formal Analysis by Abstract Interpretation

General Game Playing

Grammatical Inference

Trends in Functional Programming Volume 7

Compiler Design

Machine Learning and Deep Learning With Python

Programming Languages and Systems

Programming Languages and Systems

Trends in Functional Programming

Programming Languages and Systems

Reasoning Web. Declarative Artificial Intelligence

Meta-Programming and Model-Driven Meta-Program Development

Advances in Cryptology – ASIACRYPT 2021

Verified Software. Theories, Tools, and Experiments

Logic Programming and Nonmonotonic Reasoning

Trends in Functional Programming

Implementation and Application of Functional Languages

Interactive Theorem Proving

Verified Software. Theories, Tools, and Experiments

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Declarative Programming and Knowledge Management

Mathematics of Program Construction

Reasoning Web. Declarative Artificial Intelligence

Theoretical Aspects of Computing – ICTAC 2022

Static Analysis

Reasoning Web. Web Logic Rules

Logic-Based Program Synthesis and Transformation

Small Dynamic Complexity Classes

Ver más por autor

Concurrent Programming, Open Systems and Formal Methods