Retourner au contenu associé (sondage : Ce que je préfère en informatique / programmation / codage c'est...)
Posté par GuieA_7 (site web personnel) le 28 juin 2016 à 00:27. En réponse au sondage Ce que je préfère en informatique / programmation / codage c'est.... Évalué à 4.
Les 2 choix 'Faire une preuve de programme' & 'Faire des preuves en Coq' semblent faire un peu doublon, non ?
'Commenter le code de quelqu'un d'autre', ça veut dire rajouter des commentaires dans le code (d'un autre), ou bien faire une revue de code ?
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
# [X] Commenter les sondages
Posté par GuieA_7 (site web personnel) . En réponse au sondage Ce que je préfère en informatique / programmation / codage c'est.... Évalué à 4.
Les 2 choix 'Faire une preuve de programme' & 'Faire des preuves en Coq' semblent faire un peu doublon, non ?
'Commenter le code de quelqu'un d'autre', ça veut dire rajouter des commentaires dans le code (d'un autre), ou bien faire une revue de code ?