Home Advanced Search

Advanced Search - Page 1

The Calculus of Computation: Decision Procedures with Applications to Verification
  • PDF
  • English
  • Year: 2007
  • Author: Aaron R. Bradley, Zohar Manna
Lectures on the Logic of Computer Programming
  • DJVU
  • English
  • Year: 1980
  • Author: Zohar Manna
Mathematical Theory of Computation
  • DJVU
  • English
  • Year: 1974
  • Author: Zohar Manna
Lectures on the logic of computer programming
  • DJVU
  • English
  • Year: 1987
  • Author: Zohar Manna
Lectures on the logic of computer programming
  • DJVU
  • English
  • Year: 1987
  • Author: Zohar Manna
Temporal Verification of Reactive Systems: Safety
  • PDF
  • English
  • Year: 1995
  • Author: Zohar Manna, Amir Pnueli
Programming for Engineers: A Foundational Approach to Learning C and Matlab
  • PDF
  • English
  • Year: 2011
  • Author: Aaron R. Bradley (auth.)
Programming for Engineers: A Foundational Approach to Learning C and Matlab
  • PDF
  • English
  • Year: 2011
  • Author: Aaron R. Bradley (auth.)
The calculus of computation: Decision procedures with applications to verification
  • PDF
  • English
  • Year: 2007
  • Author: Bradley A., Manna Z.
The Temporal Logic of Reactive and Concurrent Systems: Specification
  • PDF
  • English
  • Year: 1992
  • Author: Zohar Manna, Amir Pnueli (auth.)
search