Formal methods for quantitative aspects of programming languages
Subtitle: 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: Alessandro Aldini ... [et al.] (eds.).
Contributors: Aldini, Alessandro
Series: Lecture notes in computer science -- 6154; Tutorial; LNCS sublibrary: SL 2-programming and software engineering
Publisher: Springer
Published: 2010
Place of publication: Berlin; New York
Language: eng
Number of pages: 167
ISBN-13: 9783642136771
Subjects: Congresses; Programmiersprache; Formale Methode; Formal methods (Computer science); Programmanalyse; Programming languages (Electronic computers)
Notes: Includes bibliographical references and index.

Also issued online.