×
  • FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

    C. A. R. Hoare (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
16 - 18Hours to read