×
  • Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

    Benjamin WeiГџ

Click on cover to enlarge.
Buy This Book
From Amazon.
6 - 7Hours to read