Katalog der Deutschen Nationalbibliothek

 

Ergebnis der Suche nach: nid=1076344267



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz http://d-nb.info/gnd/1076344267
Person Pnueli, Amir
Geschlecht männlich
Andere Namen Pnueli, A.
Pnûʾēlî, Āmîr
Quelle LCAuth
Zeit Lebensdaten: 1941-2009
Land Israel (XB-IL)
Geografischer Bezug Geburtsort: Nahalal
Geburtsort: Nazareth (Region)
Sterbeort: New York, NY
Beruf(e) Informatiker
Weitere Angaben Informatiker
Typ Person (piz)
Autor von 5 Publikationen
  1. Verification of Sequential and Concurrent Programs
    Apt, Krzysztof R.. - Guildford, Surrey : Springer London, 2013, 3., rd ed.
  2. Temporal Verification of Reactive Systems
    Manna, Zohar. - New York, NY : Springer New York, 1995
  3. ...
Beteiligt an 4 Publikationen
  1. Verification of Sequential and Concurrent Programs
    Apt, Krzysztof R.. - Guildford, Surrey : Springer London, 2013, 3., rd ed.
  2. Perspectives of systems informatics
    Berlin : Springer, 2010
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration