Genere: Libro
Lingua: Inglese
Editore: Springer Berlin Heidelberg
Pubblicazione: 06/2010
Edizione: 2010

Formal Methods for Quantitative Aspects of Programming Languages

Name: Formal Methods for Quantitative Aspects of Programming Languages
Price: 52,23 € EUR
Availability: InStock
Author: Aldini Alessandro (Curatore); Bernardo Marco (Curatore); Di Pierro Alessandra (Curatore); Wiklicky Herbert (Curatore)
ISBN: 9783642136771

aldini alessandro (curatore); bernardo marco (curatore); di pierro alessandra (curatore); wiklicky herbert (curatore)

54,98 €

52,23 €

AGGIUNGI AL CARRELLO

SOMMARIO

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

Condizione: Nuovo
ISBN: 9783642136771
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