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-26, 2010, Advanced Lectures / edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- text
- computer
- online resource
- 9783642136788
- Computer science
- Monoclonal antibodies
- Software engineering
- Information systems
- Computer Science
- Software Engineering
- Software Engineering/Programming and Operating Systems
- Antibodies
- Mathematical Logic and Formal Languages
- Programming Languages, Compilers, Interpreters
- Information Systems Applications (incl.Internet)
- 005.1 23
- QA76.758
Contents:
In:
Springer eBooks
Probabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum Computation -- Information Theory and Security: Quantitative Information Flow -- Performance and Security Tradeoff.
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
![]() |
Central Library | Available | E-46863 |
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 on this title.
Log in to your account to post a comment.