×
  • Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

    Kenneth L. McMillan (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
12 - 14Hours to read