Programa :::
 

  1. Revisão de lógica
  2. Lógica de programação (Hoare) e verificação formal de programas
  3. Concorrência em ambientes de memória compartilhada
  4. Concorrência em ambientes de memória distribuída
  5. Linguagens para programação concorrente
 
 
DISCLAIMER
  
 
O conteúdo desta página é de minha total responsabilidade, não representando o pensamento ou posições da UNESP.