Prikaz rezultata 1 – 4 od 4 za pretraživanje 'Manna, Zohar', vrijeme pretraživanja: 0,01s Detaljiziraj rezultate
  1. 1
    Mathematical theory of computation/
    od Manna, Zohar
    Izdano 1974
    Printed Book
  2. 2
    The Temporal logic of reactive and concurrent systems
    od Manna, Zohar, Pnueli, Amir
    Izdano 1992
    Printed Book
  3. 3
    The calculus of computation: decision procedures with appliciations to verification/
    od Bradley, Aron R
    Izdano 2007
    Daljnji autori: “...Manna Zohar...”
    Printed Book
  4. 4
    Calculus of computation Decision procedures with applications to verification /
    od Bradley, Aaron R.
    Izdano 2007
    Daljnji autori: “...Manna , Zohar...”
Alati za pretraživanje: Preuzmi RSS sažetak — Pošalji ovo pretraživanje e-poštom