Salut,
Premierement voici un livre qui parle d'algorithmique en general et qui est particulierement bien fait:
Introduction to algorithms par Cormen, Leierson, Rivest and Stein (MIT Press, il existe une traduction chez Dunod).
Sinon pour la theorie des graphes, cela depend un peu de ce que tu recherches.
Le livre Graphes de C. Berge est une reference mais est un peu ancien, il existe aussi des livres plus recents comme un ecrit par Diestel qui est disponible pour le telechargement (Graph Theory chez Springer).
Pour les preuves de programmes, je ne connais pas vraiment de reference et je ne me souviens pas en avoir entendu parler.
Enfin un dernier bouquin si tu souhaites faire des maths en informatique, il existe un livre intitule Concrete Mathematics ecrit par Monsieur Donald Knuth et deux camarades qui est une grande reference. (il existe une traduction chez Vuibert je crois).
J'espere que cela pourra te servir.