Utilisateur:Outs
Un article de Wikipédia, l'encyclopédie libre.
en-2
|
I am able to contribute with an intermediate level of English.
|
Je participe au projet informatique
|
Architecture
J'adore l'architecture.
|
http://fr.wikipedia.org/wiki/Catégorie:Méthode_formelle
http://en.wikipedia.org/wiki/reference
http://en.wikipedia.org/wiki/Temporal_Logic_of_Actions
Ça Utilisateur:82.231.114.112 c'est moi quand je n'avais pas de compte, ou que j'oublie de me logger :)
http://meta.wikimedia.org/wiki/Cite/Cite.php
A Faire : Système de preuve interactive
Spécification (informatique)
A noter http://www2.canoe.com/techno/nouvelles/archives/2007/11/20071129-132409.html