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: 0,03s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Rigorous system design

    Rigorous system design von Sifakis, Joseph 1946-

    Veröffentlicht 2012
    Inhaltsverzeichnis
    Elektronisch E-Book Fernleihe Bestellen


    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 Fernleihe Bestellen


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

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

    Veröffentlicht 2020
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: