Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures / edited by Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky.
Contributor(s): Aldini, Alessandro [editor.]
| Bernardo, Marco [editor.] | Di Pierro, Alessandra [editor.] | Wiklicky, Herbert [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Programming and Software Engineering: 6154Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Edition: 1st ed. 2010.Description: VII, 169 p. 31 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642136788.Subject(s): Software engineering | Immunology | Immunospecificity | Machine theory | Compilers (Computer programs) | Software Engineering | Immunology | Adaptive Immunity | Formal Languages and Automata Theory | Compilers and InterpretersAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.1 Online resources: Click here to access online
Contents:
In:
Springer Nature eBook
Probabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum Computation -- Information Theory and Security: Quantitative Information Flow -- Performance and Security Tradeoff.
No physical items for this record
Probabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum Computation -- Information Theory and Security: Quantitative Information Flow -- Performance and Security Tradeoff.
There are no comments for this item.