Katalog der Deutschen Nationalbibliothek

 

Ergebnis der Suche nach: nid=1049200187



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz http://d-nb.info/gnd/1049200187
Person Sifakis, Joseph
Geschlecht männlich
Andere Namen Σηφάκης, Ιωσήφ
Sifakis, J.
Zeit Lebensdaten: 1946-
Land Griechenland (XA-GR); Frankreich (XA-FR)
Geografischer Bezug Geburtsort: Heraklion
Beruf(e) Elektroingenieur
Informatiker
Weitere Angaben Elektroingenieur, Informatiker
Beziehungen zu Organisationen Centre National de la Recherche Scientifique
Typ Person (piz)
Beteiligt an 2 Publikationen
  1. From programs to systems
    Heidelberg : Springer, 2014
  2. Automatic verification methods for finite state systems
    Berlin : Springer, 1990





Treffer 1 von 1
< < > <


E-Mail-IconAdministration