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=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