×
  • FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

    Pascal Poizat

Click on cover to enlarge.
Buy This Book
From Amazon.
21 - 23Hours to read