Anca Muscholl
Anca Muscholl (Bucareste, ) é uma matemática e cientista da computação romeno-alemã, conhecida por seu trabalho em verificação formal, verificação de modelos e lógica de duas variáveis. É pesquisadora do Laboratoire Bordelais de Recherche en Informatique (LaBRI), professora da Universidade de Bordeaux e ex-membro júnior do Instituto Universitário da França. Fornecido pela Wikipedia
1
por Muscholl, Anca
Publicado em 2015
Publicado em 2015
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
Obter o texto integral