×
  • Verification of Sequential and Concurrent Programs

    Krzysztof R. Apt

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