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

Corporate Author: SpringerLink (Online service)
Other Authors: Aldini, Alessandro (Editor), Bernardo, Marco (Editor), Di Pierro, Alessandra (Editor), Wiklicky, Herbert (Editor)
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010, 2010
Edition:1st ed. 2010
Series:Programming and Software Engineering
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Physical Description:VII, 169 p. 31 illus online resource