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 /
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 / [electronic resource] :
edited by Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky.
- 1st ed. 2010.
- VII, 169 p. 31 illus. online resource.
- Programming and Software Engineering, 6154 2945-9168 ; .
- Programming and Software Engineering, 6154 .
Probabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum Computation -- Information Theory and Security: Quantitative Information Flow -- Performance and Security Tradeoff.
9783642136788
10.1007/978-3-642-13678-8 doi
Software engineering.
Immunology.
Immunospecificity.
Machine theory.
Compilers (Computer programs).
Software Engineering.
Immunology.
Adaptive Immunity.
Formal Languages and Automata Theory.
Compilers and Interpreters.
QA76.758
005.1
Probabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum Computation -- Information Theory and Security: Quantitative Information Flow -- Performance and Security Tradeoff.
9783642136788
10.1007/978-3-642-13678-8 doi
Software engineering.
Immunology.
Immunospecificity.
Machine theory.
Compilers (Computer programs).
Software Engineering.
Immunology.
Adaptive Immunity.
Formal Languages and Automata Theory.
Compilers and Interpreters.
QA76.758
005.1