Rezultaty 1 - 4 Rezultaty od 4 Dla wyszukiwania 'Manna, Zohar', Czas wyszukiwania: 0,01s Redukuj rezultaty
  1. 1
    Mathematical theory of computation/
    od Manna, Zohar
    Wydane 1974
    Printed Book
  2. 2
    The Temporal logic of reactive and concurrent systems
    od Manna, Zohar, Pnueli, Amir
    Wydane 1992
    Printed Book
  3. 3
    The calculus of computation: decision procedures with appliciations to verification/
    od Bradley, Aron R
    Wydane 2007
    Kolejni autorzy: “...Manna Zohar...”
    Printed Book
  4. 4
    Calculus of computation Decision procedures with applications to verification /
    od Bradley, Aaron R.
    Wydane 2007
    Kolejni autorzy: “...Manna , Zohar...”
Narzędzie wyszukiwania: Abonuj RSS — Wyślij rezultaty emailem