Showing 1 - 1 results of 1, 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
    by Aldini, Alessandro
    Published 2010
    Get full text
    Electronic Kit Book
Search Tools: RSS Feed – Email Search