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
Probabilistic Semantics and Program Analysis.- Measurement-Based and Universal Blind Quantum Computation.- Information Theory and Security: Quantitative Information Flow.- Performance and Security Tradeoff.
Altre Informazioni
ISBN:
9783642136771
Condizione: Nuovo
Collana: Lecture Notes in Computer Science
Dimensioni: 0 x 0 mm Ø 282 gr
Formato: Brossura
Illustration Notes:VII, 169 p. 31 illus.
Pagine Arabe: 169
Pagine Romane: vii
Dicono di noi
Per noi la tua privacy è importante
Il sito utilizza cookie ed altri strumenti di tracciamento che raccolgono informazioni dal dispositivo dell’utente. Oltre ai cookie tecnici ed analitici aggregati, strettamente necessari per il funzionamento di questo sito web, previo consenso dell’utente possono essere installati cookie di profilazione e marketing e cookie dei social media. Cliccando su “Accetto tutti i cookie” saranno attivate tutte le categorie di cookie. Per accettare solo deterninate categorie di cookie, cliccare invece su “Impostazioni cookie”. Chiudendo il banner o continuando a navigare saranno installati solo cookie tecnici. Per maggiori dettagli, consultare la Cookie Policy.