×
  • Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers

    Olaf Müller

Click on cover to enlarge.
Buy This Book
From Amazon.
6 - 7Hours to read