Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (2011/12)

Tópicos

Avisos

28 Mar - Definidas as tutorias e supervisões dos grupos de tinynew.gif Projecto integrado.

29 Jan - A notas finais do módulo de Lógica (AMT) estão publicadas em Funcionamento.

12 Dez - Data limite para a entrega do relatório sobre a ficha prática de Lógica: 15 Jan 2012

07 Dez - A aula suplementar no próximo dia 09-Dez (sexta feira), das 9h00 às 18h00, terá lugar na sala

Advanced Search

  Simple search | Help
TIP: to search for all topics that contain "SOAP", "WSDL", a literal "web service", but not "shampoo", write: soap wsdl "web service" -shampoo
Search where:


(otherwise search Education/MFES1112 Web only)
Sort results by:


Make search:
(semicolon ; for and) about regular expression search
Don't show:

Do show: about BookView
Limit results to: (all to show all topics)

Other search options:

r3 - 15 Nov 2006 - 19:43:52 - TWikiContributor
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM