Tag: Zohar Manna

Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31) by Zohar Manna (PDF)

  Ebook Info Published: 1987 Number of pages: Format: PDF File Size: 1.66 MB Authors: Zohar Manna Description This...

Temporal Verification of Reactive Systems: Safety 1995th Edition by Zohar Manna (PDF)

  Ebook Info Published: 1995 Number of pages: 530 pages Format: PDF File Size: 23.93 MB Authors: Zohar...

The Temporal Logic of Reactive and Concurrent Systems: Specification by Zohar Manna (PDF)

  Ebook Info Published: 2012 Number of pages: 441 pages Format: PDF File Size: 8.62 MB Authors: Zohar...

Advertisement

spot_img