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

    C. A. R. Hoare (auth.)

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