Katalog der Deutschen Nationalbibliothek

Neuigkeiten Durch eine technische Umstellung bei unserem Servicepartner wird vorübergehend statt eines Coverbildes teilweise ein Fragezeichen im Katalog angezeigt. Dies kann zurzeit nur durch Deaktivierung der Coveranzeige unter "Mein Konto" – "Einstellungen" vermieden werden.
 
 

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 [Elektronische Ressource]
    Manna, Zohar. - New York, NY : Springer New York, 1995
  2. Temporal verification of reactive systems
    Manna, Zohar. - New York : Springer, 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