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 de Alessandro Aldini

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: Lecture Notes in Computer Science, cartea 6154

Editat de Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky

en Limba Engleză Paperback – 11 iun 2010

Din seria Lecture Notes in Computer Science

Preț: 314^.86 lei

Preț vechi: 393^.57 lei
-20%

Puncte Express: 472

:
55^.66€ • 66^.37$ • 48^.28£

Carte disponibilă

Livrare economică 23 februarie-09 martie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Specificații

ISBN-13: 9783642136771
ISBN-10: 364213677X
Pagini: 167
Ilustrații: VII, 169 p. 31 illus.
Greutate: 0.28 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Professional/practitioner

Cuprins

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

Caracteristici

Fast track conference proceedings Unique visibility State of the art research