Formal methods for quantitative aspects of programming languages [electronic resource] : 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 / edited by Alessandro Aldini ... [et al.].

By:

Contributor(s):

Series: Lecture notes in computer science ; 6154Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.Description: 1 online resources(167 p.) : ill., digital ; 24 cmISBN:

Other title:

Subject(s):

DDC classification:

LOC classification:

Online resources:

In: Springer eBooks

Tags from this library: No tags from this library for this title. Log in to add tags.