ENGLISH

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

By Marco Bernardo , Alessandro Aldini , Herbert Wiklicky (eds.) , Alessandra Di Pierro , Chris Hankin (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2010
ISBN
364213677X, 9783642136771
DOI
10.1007/978-3-642-13678-8
Language
english
Format
PDF
Filesize
2 MB (1602924 bytes)
Series
Lecture Notes in Computer Science 6154 : Programming and Software Engineering
Edition
1
Pages
169\173
Topic
Computers
Time added
2011-06-04 13:46:07
CompilersInterpreters; Information Systems Applications (inSoftware Engineering; Software Engineering/Program

Description

This book presents a set of 4 papers accompanying the lectures of leading researchers given at the 10th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, held in Bertinoro, Italy, in June 2010. SFM 2010 was devoted to formal methods for quantitative aspects of programming languages and covered several topics including probabilistic and timed models, model checking, static analysis, quantum computing, real-time and embedded systems, and security.

Similar books