Joseph Sifakis

Joseph Sifakis (Greek: Ιωσήφ Σηφάκης) is a Greek-French computer scientist. He received the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking. Provided by Wikipedia
Showing 1 - 3 results of 3 for search 'Sifakis, Joseph 1946-', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Rigorous system design

    Rigorous system design by Sifakis, Joseph 1946-

    Published 2012
    Indexes
    Electronic eBook Interlibrary loan Place Request


    Saved 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 by Sifakis, Joseph 1946-

    Published 2022
    Indexes
    Book Interlibrary loan Place Request


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

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

    Published 2020
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: