preuves de programmes (Hoare & cie) - Page 1

1

Le 15/09/2003 à 14:45

lut

je cherche de la doc sur les preuves de programmes. (Hoare & cie)

si vous connaissez des URLS dignes d'interet, je suis preneur

g déjà trouvé des truc, mais bon, pas terribles

2

Le 15/09/2003 à 15:00

Koik c'est ?

Un site complet sur lequel vous trouverez des programmes et des jeux pour votre calculatrice TI 89 / Titanium / 92+ / Voyage 200 : www.ti-fr.com.
Quelques idées personnelles ici.

3

Le 15/09/2003 à 15:31

http://www.cis.upenn.edu/~wilf/AeqB.html

Mes news pour calculatrices TI: Ti-Gen
Mes projets PC pour calculatrices TI: TIGCC, CalcForge (CalcForgeLP, Emu-TIGCC)
Mes chans IRC: #tigcc et #inspired sur irc.freequest.net (UTF-8)

Liberté, Égalité, Fraternité

4

Le 15/09/2003 à 19:00

merci bien Kevin