Showing 1 - 4 results of 4 for search 'Manna, Zohar', सवाल का समय: 0.01सेकंड परिणाम को परिष्कृत करें
  1. 1
    Mathematical theory of computation/
    द्वारा Manna, Zohar
    प्रकाशित 1974
    Printed Book
  2. 2
    The Temporal logic of reactive and concurrent systems
    द्वारा Manna, Zohar, Pnueli, Amir
    प्रकाशित 1992
    Printed Book
  3. 3
    The calculus of computation: decision procedures with appliciations to verification/
    द्वारा Bradley, Aron R
    प्रकाशित 2007
    अन्य लेखक: “...Manna Zohar...”
    Printed Book
  4. 4
    Calculus of computation Decision procedures with applications to verification /
    द्वारा Bradley, Aaron R.
    प्रकाशित 2007
    अन्य लेखक: “...Manna , Zohar...”
खोज साधन : RSS फ़ीड प्राप्त करें — इस खोज को ईमेल करें