Edmund M. Clarke (Q92819)

De Wikidata
Salta a la navegació Salta a la cerca
American computer scientist anglès
modifica
Llengua Etiqueta Descripció També conegut com a
català
Edmund M. Clarke
Encara no s'ha definit cap descripció
    anglès
    Edmund M. Clarke
    American computer scientist
    • Edmund Melson Clarke
    • Edmund Melson Clarke, Jr.
    • Edmund Clarke

    Declaracions

    Edmund Clarke FLoC 2006.jpg
    432 × 640; 123 Ko
    Edmund Clarke, el 2006 (català)
    إدموند كلارك سنة 2006 (àrab)
    Edmund Melson Clarke, Jr. (anglès)
    0 referències
    0 referències
    22 des 2020
    1 referència
    Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors (anglès)
    1 referència
    Edmund Clarke Pioneered Methods For Detecting Software, Hardware Errors (anglès)
    0 referències
    0 referències
    0 referències
    0 referències
    1 referència
    0 referències
    0 referències
    0 referències
    0 referències
    0 referències
    Sicun Gao anglès
    1 referència
    David L. Dill anglès
    1 referència
    Marius Minea anglès
    1 referència
    1 referència
    Somesh Jha anglès
    1 referència
    Xudong Zhao anglès
    1 referència
    1 referència
    1 referència
    1 referència
    1 referència
    1 referència
    1 referència
    0 referències
    Edmund M. Clarke
    0 referències

    Identificadors

     
    modifica
      modifica
        modifica
          modifica
            modifica
              modifica
                modifica
                  modifica