×
  • Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

    Martín Abadi

Click on cover to enlarge.
Buy This Book
From Amazon.
8 - 9Hours to read