×
  • The Temporal Logic of Reactive and Concurrent Systems: Specification

    Zohar Manna

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