Name: Trustworthy Global Computing: 8th International Symposium, Tgc 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers (en Inglés)
Price: 95590.00 CLP
Availability: InStock
Author: Abadi, Martín ; Lluch Lafuente, Alberto
ISBN: 9783319051185

portada Trustworthy Global Computing: 8th International Symposium, Tgc 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Abadi, Martín ; Lluch Lafuente, Alberto

Idioma

Inglés

N° páginas

331

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.8 cm

Peso

0.48 kg.

ISBN13

9783319051185

Categorías

Lógica matemática
Tecnología de la información: cuestiones generales
Seguridad informática

Trustworthy Global Computing: 8th International Symposium, Tgc 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers (en Inglés)

Abadi, Martín ; Lluch Lafuente, Alberto (Autor) · Springer · Tapa Blanda

Libro Nuevo

$ 95.590

$ 132.760

Ahorras: $ 37.170

28% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Viernes 02 de Agosto y el Miércoles 14 de Agosto.

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

Reseña del libro "Trustworthy Global Computing: 8th International Symposium, Tgc 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers (en Inglés)"

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The 15 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 29 submissions. The papers cover a wide range of topics in the area of global computing and safe and reliable computation. They are organized in topical sections on security, π-calculus, information flow, models, specifications and proofs and quantitative analysis.