Skip to main content
SpringerLink
Log in
Book cover

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

  • Textbook
  • © 2010

Overview

Editors:
  1. Alessandro Aldini

    1. Dipartimento di Matematica, Fisica e Informatica, Università di Urbino “Carlo Bo”, Urbino, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Marco Bernardo

    1. Dipartimento di Matematica, Fisica e Informatica, Università di Urbino “Carlo Bo”, Urbino, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Alessandra Pierro

    1. Dipartimento di Informatica, Università di Verona, Verona, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Herbert Wiklicky

    1. Department of Computing, Imperial College London, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6154)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SFM 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (4 chapters)

  1. Front Matter

    Download chapter PDF

  2. Probabilistic Semantics and Program Analysis

    • Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    Pages 1-42

  3. Measurement-Based and Universal Blind Quantum Computation

    • Anne Broadbent, Joseph Fitzsimons, Elham Kashefi
    Pages 43-86

  4. Information Theory and Security: Quantitative Information Flow

    • Pasquale Malacaria, Jonathan Heusser
    Pages 87-134

  5. Performance and Security Tradeoff

    • Katinka Wolter, Philipp Reinecke
    Pages 135-167

  6. Back Matter

    Download chapter PDF
Back to top

Keywords

Editors and Affiliations

  • Dipartimento di Matematica, Fisica e Informatica, Università di Urbino “Carlo Bo”, Urbino, Italy

    Alessandro Aldini, Marco Bernardo

  • Dipartimento di Informatica, Università di Verona, Verona, Italy

    Alessandra Pierro

  • Department of Computing, Imperial College London, London, UK

    Herbert Wiklicky

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation