Gösterilen 1 - 4 sonuçlar arası kayıtlar. 4 sonuç. Aranan kelime 'Manna, Zohar', Sorgu süresi: 0.01s Sonuçları Daraltın
  1. 1
    Mathematical theory of computation/
    Yazar: Manna, Zohar
    Baskı/Yayın Bilgisi 1974
    Printed Book
  2. 2
    The Temporal logic of reactive and concurrent systems
    Yazar: Manna, Zohar, Pnueli, Amir
    Baskı/Yayın Bilgisi 1992
    Printed Book
  3. 3
    The calculus of computation: decision procedures with appliciations to verification/
    Yazar: Bradley, Aron R
    Baskı/Yayın Bilgisi 2007
    Diğer Yazarlar: “...Manna Zohar...”
    Printed Book
  4. 4
    Calculus of computation Decision procedures with applications to verification /
    Yazar: Bradley, Aaron R.
    Baskı/Yayın Bilgisi 2007
    Diğer Yazarlar: “...Manna , Zohar...”
Arama Araçları: RSS Beslemesi — Aramayı e-posta ile gönder