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: TextSeries: Lecture Notes in Computer Science ; 6154Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: VII, 169p. 31 illus. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783642136788Subject(s): 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)Additional physical formats: Printed edition:: No titleDDC classification: 005.1 LOC classification: QA76.758Online resources: Click here to access online
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.
Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK9090 |
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.