|
|
|
|
| LEADER |
01548Cam#a2200313#a#4500 |
| 001 |
028579 |
| 003 |
AR-BeUNQ |
| 005 |
20191212144928.0 |
| 008 |
160322s2013||||maud ##||||#001|0#eng#d |
| 999 |
|
|
|c 25763
|d 101150
|
| 020 |
|
|
|a 9780262018982
|
| 040 |
|
|
|a AR-BeUNQ
|b spa
|e aacr
|
| 082 |
0 |
4 |
|a 005.276
|2 21
|
| 100 |
1 |
|
|a Varela, Carlos A.
|
| 245 |
0 |
2 |
|a Programming distributed computing systems :
|b a foundational approach
|c Carlos A. Varela.
|
| 260 |
|
|
|a Cambridge :
|b MIT Press,
|c c2013.
|
| 300 |
|
|
|a xvi, 271 p. :
|b gráficos ;
|c 24 cm.
|
| 500 |
|
|
|a Índice analítico: p. 267-271.
|
| 504 |
|
|
|a Bibliografía: p. 259-266.
|
| 505 |
0 |
|
|a Foreword / Gul Agha -- Preface -- Acknowledgments -- Introduction -- Lambda calculus -- Theoretical models of concurrency, distribution, and mobility -- Pi calculus -- Ambient calculus -- Formalizing concurrency, distribution, and mobility -- Programming languages for distributed and mobile computing -- Programming with process -- Programming with actors -- Programming with join patterns -- Social networking example
|
| 594 |
|
|
|a LICENCIATURA EN INFORMATICA
|
| 595 |
|
|
|a SISTEMAS DISTRIBUIDOS
|
| 650 |
|
7 |
|a Lenguajes de programación
|2 spines
|
| 650 |
|
7 |
|a Red electrónica
|2 toit
|
| 653 |
|
|
|a Programación de computadoras
|
| 653 |
|
|
|a Sistemas distribuidos
|
| 929 |
|
|
|a COMPRA
|b Ciencia y Técnica
|c 2a compra 2015 Exp. 827-0448/15
|d 1200,00
|e 20160224
|f PAT0062201
|j 54375
|
| 929 |
|
|
|a COMPRA
|b Ciencia y Técnica
|c 2a compra 2015 Exp. 827-0448/15
|d 1200,00
|e 20160224
|f PAT0062202
|j 54376
|
| 942 |
|
|
|c LIB
|n 0
|