Skip to main content
  • Textbook
  • © 2010

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

  • Fast track conference proceedings

  • Unique visibility

  • State of the art research

Conference proceedings info: SFM 2010.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (4 chapters)

  1. Front Matter

  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

Keywords

  • composition
  • description techniques
  • design
  • embedded systems
  • formal methods
  • formalization
  • interaction
  • model checking
  • patterns
  • performance
  • programming
  • programming language
  • quantum computing
  • real-time systems
  • security
  • antibodies

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

  • Book Title: Formal Methods for Quantitative Aspects of Programming Languages

  • Book Subtitle: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures

  • Editors: Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-13678-8

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2010

  • Softcover ISBN: 978-3-642-13677-1Published: 11 June 2010

  • eBook ISBN: 978-3-642-13678-8Published: 26 June 2010

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VII, 169

  • Number of Illustrations: 31 b/w illustrations

  • Topics: Software Engineering, Immunology, Adaptive Immunity, Formal Languages and Automata Theory, Compilers and Interpreters

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions