phone 02/210 210 99
LIBRISTO 0
Free delivery for purchases over 59.99 €
Slovak post 4.49 € SPS courier 4.99 € Packeta courier 4.99 € Packeta point 2.99 € SPS Parcel Shop 2.99 €
phone Contact phoneHow to shop

Trustworthy Global Computing

Language EnglishEnglish
E-book Adobe ePub
E-book Trustworthy Global Computing Martin Abadi
Libristo code: 44432170
Publishers Springer, July 2014
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International S... Full description
? points 151 b
61.04 €
In stock Immediate digital delivery

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, I -calculus, information flow, models, specifications and proofs and quantitative analysis.

About the book

Full name Trustworthy Global Computing
Author Martin Abadi, Alberto Lluch Lafuente
Language English
Binding E-book - Adobe ePub
Date of issue 2014
EAN 9783319051192
Libristo code 44432170
Publishers Springer

Categories

Computing & Information Technology > Databases > Information retrieval
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer security
Computing & Information Technology > Computer networking & communications
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account