Advertisement

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-26, 2010, Advanced Lectures

  • Alessandro Aldini
  • Marco Bernardo
  • Alessandra Di Pierro
  • Herbert Wiklicky
Textbook SFM 2010

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

Table of contents

  1. Front Matter
  2. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    Pages 1-42
  3. Anne Broadbent, Joseph Fitzsimons, Elham Kashefi
    Pages 43-86
  4. Pasquale Malacaria, Jonathan Heusser
    Pages 87-134
  5. Katinka Wolter, Philipp Reinecke
    Pages 135-167
  6. Back Matter

About this book

Keywords

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

Editors and affiliations

  • Alessandro Aldini
    • 1
  • Marco Bernardo
    • 1
  • Alessandra Di Pierro
    • 2
  • Herbert Wiklicky
    • 3
  1. 1.Dipartimento di Matematica, Fisica e InformaticaUniversità di Urbino “Carlo Bo”UrbinoItaly
  2. 2.Dipartimento di InformaticaUniversità di VeronaVeronaItaly
  3. 3.Department of ComputingImperial College LondonLondonUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-13678-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-13677-1
  • Online ISBN 978-3-642-13678-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Engineering