An Approach to Automating the Verification of Compact Parallel Coordination Programs, Vol. 1 (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, Vol. 1 (Classic Reprint)
Shelve It

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

  • ISBN10 0266900925
  • ISBN13 9780266900924
  • Publish Date 10 November 2018
  • Publish Status Active
  • Publish Country GB
  • Imprint Forgotten Books
  • Format Hardcover
  • Pages 106
  • Language English