Formal Methods for Quantitative Aspects of Programming Languages

E-Book (pdf)

(0)

Erste Bewertung abgeben

Inhalt Probabilistic Semantics and Program Analysis.- Measurement-Based and Universal Blind Quantum Computation.- Information Theo...

CHF59.90

Download steht sofort bereit

E-Book (pdf)

Beschreibung

Inhalt

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

Produktinformationen

Titel:

Formal Methods for Quantitative Aspects of Programming Languages

Untertitel:

10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures

Editor:

EAN:

9783642136788

Format:

E-Book (pdf)

Hersteller:

Springer Berlin Heidelberg

Genre: