Website Search
Find information on spaces, staff, and services.
Catalog Search
Computer file; Books
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
- Author / Creator
- Conferences
- 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
- Available as
- Online
Details
- Creator
- edited by Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
- Format
- Computer file; Books
- Language
- English
- Contributors
- Publication
-
- 1st ed. 2010
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010
- Physical Details
-
- 1 online resource (VII, 169 p. 31 illus.)
- ISBNs
- 3642136788, 9786613565143, 364213677X, 9783642136788, 9783642136771, 128038722X
- OCLC
- ocn654396280
- Bibliographic Level Mode of Issuance: Monograph
- Includes bibliographical references and index.
- English
- Probabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum Computation -- Information Theory and Security: Quantitative Information Flow -- Performance and Security Tradeoff