Zobrazuji výsledky 1 - 4 z 4 pro vyhledávání 'Manna, Zohar', doba hledání: 0,01 s. Upřesnit hledání
  1. 1
    Mathematical theory of computation/
    Autor Manna, Zohar
    Vydáno 1974
    Printed Book
  2. 2
    The Temporal logic of reactive and concurrent systems
    Autor Manna, Zohar, Pnueli, Amir
    Vydáno 1992
    Printed Book
  3. 3
    The calculus of computation: decision procedures with appliciations to verification/
    Autor Bradley, Aron R
    Vydáno 2007
    Další autoři: “...Manna Zohar...”
    Printed Book
  4. 4
    Calculus of computation Decision procedures with applications to verification /
    Autor Bradley, Aaron R.
    Vydáno 2007
    Další autoři: “...Manna , Zohar...”
Vyhledávací nástroje: RSS — Poslat emailem