×
  • Concurrency Verification: Introduction to Compositional and Non-compositional Methods

    Willem-Paul de Roever Frank de Boer Ulrich Hanneman Jozef Hooman Yassine Lakhnech Mannes Poel Job Zwiers

Click on cover to enlarge.
18 - 20Hours to read