Sponsorised links
September 2006
Tatoufaux : le tombeau des idées reçues
by br1o
& 6 others
Vous êtes sur Tatoufaux.com, le site qui démonte les idées reçues. Nous avons tous des idées reçues transmises par nos parents, nos lectures, notre culture. Souvent elles sont fausses et nous ne le savons pas. Nous en faisons des dogmes, des vérit
February 2006
http://geccoo.lri.fr/
by GeorgesMariano
Génération de code certifié pour des applications orientées objet Spécification, raffinement, preuve et détection d'erreurs Generation of Certified Code for Object Oriented Applications specification, refinement, proof and error detection
1
(3 marks)
