
Formal Methods for Quantitative Aspects of Programming Languages
Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro
₹5,468

7th European Performance Engineering Workshop
by Alessandro Aldini, Marco Bernardo, Luciano Bononi
Springer · 2010
Free delivery. Nothing extra to pay at checkout.
Published by Springer in 2010, Computer Performance Engineering: 7th European Performance Engineering Workshop by Alessandro Aldini, Marco Bernardo & others runs to 283 pages. It belongs to the LNCS sublibrary: SL 2-programming and software engineering series.
Topics covered include Computer systems, Formal methods (Computer science), Congresses and Stochastic models.