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 / edited by Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky.

Format:

Book

Contributor:

Aldini, Alessandro, editor.

Bernardo, Marco, editor.

Di Pierro, Alessandra, editor.

Wiklicky, Herbert, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Programming and software engineering ; SL 2, 6154.

Programming and Software Engineering ; 6154

Language:

English

Subjects (All):

Software engineering.

Immunology.

Immunoglobulins.

Logic, Symbolic and mathematical.

Programming languages (Electronic computers).

Software Engineering.

Software Engineering/Programming and Operating Systems.

Antibodies.

Mathematical Logic and Formal Languages.

Programming Languages, Compilers, Interpreters.

Local Subjects:

Software Engineering.

Immunology.

Software Engineering/Programming and Operating Systems.

Antibodies.

Mathematical Logic and Formal Languages.

Programming Languages, Compilers, Interpreters.

Physical Description:

1 online resource (VII, 169 pages) : 31 illustrations.

Edition:

First edition 2010.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

System Details:

text file PDF

Contents:

Probabilistic Semantics and Program Analysis

Measurement-Based and Universal Blind Quantum Computation

Information Theory and Security: Quantitative Information Flow

Performance and Security Tradeoff.

Other Format:

Printed edition:

ISBN:

978-3-642-13678-8

9783642136788

Access Restriction:

Restricted for use by site license.