Showing 1 - 2 results of 2, query time: 0.01s Refine Results
  1. 1
    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 /
    Published 2010
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    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
    by Aldini, Alessandro
    Published 2010
    Get full text
    Electronic Kit Book
Search Tools: RSS Feed – Email Search