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 €![NASA Formal Methods]( "NASA Formal Methods")
NASA Formal Methods49,99 €![Foundations of Security, Protocols, and Equational Reasoning]( "Foundations of Security, Protocols, and Equational Reasoning")
Foundations of Security, Protocols, and Equational Reasoning37,99 €![Runtime Verification]( "Runtime Verification")
Runtime Verification37,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.