×
  • Verification of Reactive Systems: Formal Methods and Algorithms

    Klaus Schneider

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