Métodos Formais em Engenharia de Software

Mestrado de [Engenharia] Informática (2010/11)

Search: ^m

Education/MFES1011 Web Changed Changed by
Material 15 Jul 2012 - 18:15 - r34 JoseNunoOliveira
Índice do material disponível: Bibliografia Luca Aceto, Anna Ingólfsdóttir, Kim G. Larsen, Jiri Srba. Systems: Modelling, Specification and Verification . ...
Found 1 topics.
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM