Katalog der Deutschen Nationalbibliothek

Neuigkeiten Unsere Lesesäle sind unter den geltenden Hygiene- und Abstandsregelungen für den eingeschränkten Benutzungsbetrieb geöffnet. Für den Zutritt ist eine Reservierungsbestätigung erforderlich. Das Reservierungssystem und alle weiteren Hinweise zur Benutzung finden Sie auf der Startseite unserer Homepage. Achtung: Die Bereitstellungszeit für bestellte Medien beträgt aktuell 5 Tage!
 
 

Ergebnis der Suche nach: nid=142071609



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz http://d-nb.info/gnd/142071609
Person Leavens, Gary T.
Geschlecht männlich
Quelle LCAuth
Land USA (XD-US)
Beruf(e) Informatiker
Weitere Angaben University Central Florida, School of Electrical Engineering and Computer Science, E-mail: leavenseecs.ufc.edu
|Ph. D.
Beziehungen zu Organisationen University of Central Florida
Iowa State University (1989-2007)
Typ Person (piz)
Beteiligt an 3 Publikationen
  1. Formal Techniques for Java Programs
    Hagen : FernUniversität in Hagen, 2017
  2. Verified software: theories, tools, experiments
    Berlin : Springer, 2010
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration