Processos e Concorrência

Licenciatura em Ciências da Computação
O curso tem por objectivo o estudo de técnicas de especificação, modelação, análise e verificação de sistemas reactivos, com ênfase na sua composição concorrente e no controlo da interacção continuada com o ambiente.

Esta página dá acesso às diversas edições no curso no âmbito da Licenciatura em Ciências da Computação da Universidade do Minho.


Luís Soares Barbosa

r15 - 19 Mar 2010 - 11:13:03 - LuisSoaresBarbosa
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM