Métodos Formais em Engenharia de Software

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

Search: ^m

Education/MFES1112 Web Changed Changed by
Material 27 Feb 2013 - 11:24 - r36 JoseNunoOliveira
Índice do material disponível: Bibliografia Daniel Jackson. abstractions: logic, language, and analysis . MIT Press, 2006. C.B. Jones. Systematic Software ...
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