Joseph Sifakis

Joseph Sifakis 2008 mini|Joseph Sifakis 2008 Joseph Sifakis (; * 26. Dezember 1946 in Iraklio, Kreta) ist ein griechisch-französischer Informatiker und Turing-Preisträger. Er trug wesentlich zum Aufkommen der Modellprüfung und deren Verbreitung in der Industrie bei. Veröffentlicht in Wikipedia
Treffer 1 - 3 von 3 für Suche 'Sifakis, Joseph 1946-', Suchdauer: 3,68s Treffer weiter einschränken
  1. 1
    Rigorous system design

    Rigorous system design von Sifakis, Joseph 1946-

    Veröffentlicht 2012
    TUM01
    Inhaltsverzeichnis
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Understanding and changing the world from information to knowledge and intelligence

    Understanding and changing the world from information to knowledge and intelligence von Sifakis, Joseph 1946-

    Veröffentlicht 2022
    Inhaltsverzeichnis
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Katanoōntas kai allazontas ton kosmo

    Katanoōntas kai allazontas ton kosmo von Sifakis, Joseph 1946-

    Veröffentlicht 2020
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: