Tag: Howard Barringer

Advances in Temporal Logic (Applied Logic Series, 16) 2000th Edition by Howard Barringer (PDF)

  Ebook Info Published: 2000 Number of pages: 462 pages Format: PDF File Size: 26.87 MB Authors: Howard...
Read more

A Survey of Verification Techniques for Parallel Programs by Howard Barringer (PDF)

  Ebook Info Published: 2014 Number of pages: 128 pages Format: PDF File Size: 1.44 MB Authors: Howard...
Read more

Advertisement

spot_img