Verkauf durch Sack Fachmedien

Aldini / Bernardo / Di Pierro

Formal Methods for Quantitative Aspects of Programming Languages

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

Medium: Buch
ISBN: 978-3-642-13677-1
Verlag: Springer
Erscheinungstermin: 11.06.2010
Lieferfrist: bis zu 10 Tage
Autoren/Hrsg.

Herausgeber

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