Katalog der Deutschen Nationalbibliothek

 

Ergebnis der Suche nach: idn=142488941



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz http://d-nb.info/gnd/142488941
Person Clarke, Edmund M.
Geschlecht männlich
Andere Namen Clarke, Edmund
Clarke, E. M.
Clarke, E.
Clarke, Edmund Melson (Vollständiger Name)
Zeit Lebensdaten: 1945-
Land USA (XD-US)
Beruf(e) Informatiker
Weitere Angaben Professor für Informatik an der Carnegie Mellon University. - Ph.D. in Computer Science an der Cornell University, Ithaca NY, 1976
Typ Person (piz)
Autor von 1 Publikation
  1. Combining local and global model checking
    Biere, Armin. - Karlsruhe : Univ., Fak. für Informatik, [1998]
Beteiligt an 6 Publikationen
  1. Perspectives of system informatics
    Heidelberg : Springer, c 2012
  2. Perspectives of Systems Informatics [Elektronische Ressource]
    Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration