Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communicatio by Alessandro AldiniFormal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communicatio by Alessandro Aldini

Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on…

byAlessandro AldiniEditorMarco Bernardo, Alessandra Di Pierro

Paperback | June 11, 2010

Pricing and Purchase Info

$114.32 online 
$136.95 list price save 16%
Earn 572 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

security by formulating metrics that explicitly express the trade-o? and by showing how to ?nd system parameters that optimize those metrics.
Title:Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on…Format:PaperbackDimensions:169 pagesPublished:June 11, 2010Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:364213677X

ISBN - 13:9783642136771

Look for similar items by category:

Reviews

Table of Contents

Probabilistic Semantics and Program Analysis.- Measurement-Based and Universal Blind Quantum Computation.- Information Theory and Security: Quantitative Information Flow.- Performance and Security Tradeoff.