×
  • Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

    Randal E. Bryant (auth.)

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