A Survey of Verification Techniques for Parallel Programs

Howard Barringer

A Survey of Verification Techniques for Parallel Programs









Book 191 of the Lecture Notes in Computer Science series



  • Please note that all prices are in Australian dollars
  • Some titles may be subject to availability