An Approach to Automating the Verification of Compact Parallel Coordination Programs II (Classic Reprint)

by B D Lubachevsky

0 ratings • 0 reviews • 0 shelved
Book cover for An Approach to Automating the Verification of Compact Parallel Coordination Programs II (Classic Reprint)
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN10 0267848943
  • ISBN13 9780267848942
  • Publish Date 29 November 2018
  • Publish Status Active
  • Publish Country GB
  • Imprint Forgotten Books
  • Format Hardcover
  • Pages 66
  • Language English