Aldini, Alessandro. <br/><br/>
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-26, 2010, Advanced Lectures / 
edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783642136788 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Monoclonal antibodies.; Software engineering.; Information systems.; Computer Science.; Software Engineering.; Software Engineering/Programming and Operating Systems.; Antibodies.; Mathematical Logic and Formal Languages.; Programming Languages, Compilers, Interpreters.; Information Systems Applications (incl.Internet).