Q92649

From Wikidata
Jump to: navigation, search

Amir Pnueli (Q92649) [edit]

Israeli computer scientist (1941–2009) researching temporal logic, model checking, and concurrent systems [edit]

No aliases defined.
    [add]

    Statements

    Amir Pnueli
    0 references
    22 April 1941
    1 reference
    0 references
    0 references
    0 references
    0 references
    [edit]
    Language Code Linked page
    العربية arwiki
    বাংলা bnwiki
    čeština cswiki
    Deutsch dewiki
    English enwiki
    español eswiki
    فارسی fawiki
    français frwiki
    עברית hewiki
    日本語 jawiki
    Nederlands nlwiki
    polski plwiki
    português ptwiki
    română rowiki
    русский ruwiki
    srpskohrvatski / српскохрватски shwiki
    slovenčina skwiki
    српски / srpski srwiki
    中文 zhwiki
    [edit]
    [edit]
    [edit]
    [edit]
    [edit]