Rezultaty 1 - 1 Rezultaty od 1 Dla wyszukiwania 'Pnueli, Amir', Czas wyszukiwania: 0,01s Redukuj rezultaty
  1. 1
    The Temporal logic of reactive and concurrent systems
    od Manna, Zohar, Pnueli, Amir
    Wydane 1992
    Printed Book
Narzędzie wyszukiwania: Abonuj RSS — Wyślij rezultaty emailem