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 /
International School on Formal Methods for the Design of Computer, Communication, and Software Systems(10th :2010 :Bertinoro, Italy)
International School on Formal Methods for the Design of Computer, Communication, and Software Systems
Aldini, Alessandro.editor.
Bernardo, Marco.editor.
Di Pierro, Alessandra.editor.(orcid)0000-0003-4173-7941https://orcid.org/0000-0003-4173-7941edt
Wiklicky, Herbert.editor.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
Probabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum Computation -- Information Theory and Security: Quantitative Information Flow -- Performance and Security Tradeoff.
Software engineering.
Immunology.
Antibodies.
Mathematical logic.
Programming languages (Electronic computers).
Software Engineering.
Immunology.
Software Engineering/Programming and Operating Systems.
Antibodies.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Lecture notes in computer science