Katalog der Deutschen Nationalbibliothek

 

Ergebnis der Suche nach: idn=113114753



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz http://d-nb.info/gnd/113114753
Name Pnûʾēlî, Āmîr
Publikationen von Autoren mit diesem Namen 4 Publikationen
  1. Temporal verification of reactive systems
    Manna, Zohar. - New York : Springer, 1995
  2. Temporal Verification of Reactive Systems [Elektronische Ressource]
    Manna, Zohar. - New York, NY : Springer New York, 1995
  3. ...
Beteiligt an 3 Publikationen
  1. Perspectives of systems informatics
    Berlin : Springer, 2010
  2. Time for verification
    Berlin : Springer, 2010
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration