Andere Kunden interessierten sich auch für
![Principles of Security and Trust]( "Principles of Security and Trust")
Principles of Security and Trust37,99 €![Critical Systems: Formal Methods and Automated Verification]( "Critical Systems: Formal Methods and Automated Verification")
Critical Systems: Formal Methods and Automated Verification37,99 €![Interactive Theorem Proving]( "Interactive Theorem Proving")
Interactive Theorem Proving37,99 €![Verification, Model Checking, and Abstract Interpretation]( "Verification, Model Checking, and Abstract Interpretation")
Verification, Model Checking, and Abstract Interpretation37,99 €![Trusted Systems]( "Trusted Systems")
Trusted Systems37,99 €![Secure and Trustworthy Service Composition]( "Secure and Trustworthy Service Composition")
Secure and Trustworthy Service Composition36,99 €![Foundations of Security, Protocols, and Equational Reasoning]( "Foundations of Security, Protocols, and Equational Reasoning")
Foundations of Security, Protocols, and Equational Reasoning37,99 €
This book constitutes the thoroughlyrefereed post-conference proceedings of the 10th International Symposium onTrustworthy Global Computing, TGC 2015, held in Madrid, Spain, in August/September2015.
The 10 revised full papers presentedwere carefully reviewed and selected from 19 submissions. The Symposium onTrustworthy Global Computing focuses on frameworks, tools, algorithms, andprotocols for open-ended, large-scale systems and applications, and on rigorousreasoning about their behavior and properties.
The 10 revised full papers presentedwere carefully reviewed and selected from 19 submissions. The Symposium onTrustworthy Global Computing focuses on frameworks, tools, algorithms, andprotocols for open-ended, large-scale systems and applications, and on rigorousreasoning about their behavior and properties.