Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten 2. bis 5. Oktober 2025: Der Kartenlesesaal in Leipzig ist geschlossen. // 2 to 5 October 2025: The map reading room in Leipzig is closed.
 
 

Ergebnis der Suche nach: "Nazareth"

Zurück zur Trefferliste


Treffer 96 von 245 < < > <



Personen
Link zu diesem Datensatz https://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. Temporal verification of reactive systems
    Manna, Zohar. - New York : Springer, 1995
  2. Temporal Verification of Reactive Systems
    Manna, Zohar. - New York, NY : Springer New York, 1995
  3. ...
Beteiligt an 5 Publikationen
  1. Verification of Sequential and Concurrent Programs
    Apt, Krzysztof R.. - Guildford, Surrey : Springer London, 2013, 3., rd ed.
  2. Perspectives of Systems Informatics
    Cham : Springer International Publishing, 2010
  3. ...





Treffer 96 von 245
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration