libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

aldini alessandro (curatore); bernardo marco (curatore); di pierro alessandra (curatore); wiklicky herbert (curatore) - formal methods for quantitative aspects of programming languages

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

; ; ;




Disponibilità: Normalmente disponibile in 15 giorni


PREZZO
54,98 €
NICEPRICE
52,23 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Pubblicazione: 06/2010
Edizione: 2010





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

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