Your search returned 2 results.

Results
		Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM, Bertinoro, Italy, June 21-26, 2010 (e-book) by Aldini, Alessandro ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Computer performance engineering : 7th European performance engineering workshop : proceedings, EPEW, Bertinoro, Italy, Sept. 23-24, 2010 (e-book) by Aldini, Alessandro ...[et al.] [Editor]. Series: Lecture Notes in Computer Science (LNCS) ; v.6342 \| LNCS Sublibrary : SL 2 – Programming and Software Engineering Language: English Publication details: Berlin Springer 2010Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search