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

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.

Saved in:
Bibliographic Details
Main Authors Aldini, Alessandro, Bernardo, Marco, Di Pierro, Alessandra, Wiklicky, Herbert
Format eBook
LanguageEnglish
Published Netherlands Springer Nature 2010
Springer Berlin / Heidelberg
Springer
Edition1
SeriesLecture Notes in Computer Science
Subjects
Computer programming, programs, data
Computer systems
Congresses
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:9783642136788
3642136788
9783642136771
364213677X