mardi 13 mai 2014

Informatique : boucle et invariant

http://se.ethz.ch/~meyer/publications/methodology/invariants.pdf

Aucun commentaire:

Enregistrer un commentaire