×
  • Modeling in Event-B : system and software engineering

    Jean-Raymond Abrial

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