Katalog der Deutschen Nationalbibliothek

Neuigkeiten Am 3. und 4. Mai stehen in allen Lesesälen die Rechercheplätze wegen Wartungsarbeiten mehrmals kurzzeitig nicht zur Verfügung. Die Nutzung von bestellten elektronischen Publikationen ist ganztags nicht möglich.
 
 

Ergebnis der Suche nach: idn=1028534892



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz http://d-nb.info/gnd/1028534892
Person Emerson, E. Allen
Geschlecht männlich
Andere Namen Emerson, Ernest Allen
Allen Emerson, E.
Zeit Lebensdaten: 1954-
Land USA (XD-US)
Geografischer Bezug Geburtsort: Dallas, Tex.
Beruf(e) Informatiker
Mathematiker
Hochschullehrer
Weitere Angaben Fachgebiete: automatische Programmsynthese, Verifizierung parametrisierter Systeme und Datenstruktur-Beweisen
Beziehungen zu Organisationen University of Texas
Typ Person (piz)
Beteiligt an 3 Publikationen
  1. Verification, model checking, and abstract interpretation
    Berlin : Springer, 2006
  2. Verification, model checking, and abstract interpretation [Elektronische Ressource]
    Berlin : Springer, 2006
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration