Reasoned Programming

Informatique & pédagogie by E. Desmontils

Feb 13, 2014Education

"Reasoned Programming" (K. Broda + S. Eisenbach + H. Khoshnevisan + S. Vickers) Prentice Hall International Series in Computer Science (1994). ISBN 0-13-098831-6 Autre url: pdf Reasoned Programming montre comment appliqu...

Related Episodes

Continue listening to more episodes from Informatique & pédagogie.

Dépôt de ressources pédagogiques en informatique

Oct 24, 2013

Pour tout développeur, il existe un impressionnant dépôt de documents autour de la programmation : Bonne...

Mathématiques pour l'informatique

Oct 24, 2013

Voici un document PDF proposant un tour d'horizon des outils mathématiques pour l'informatique : A lire p...

Livre sur les bases de données

Sep 12, 2013

Le livre "Bases de données" de G. Gardarin chez Eyrolles est disponible gratuitement ! N'hésitez pas à le...

Formation qualifiante en Cobol

Jul 18, 2013

Le langage Cobol, bien qu'ancien, reste extrêmement présent, surtout dans le domaine des banques et assur...

Ouvrage sur le Linked Data

Jun 21, 2013

Pour tout savoir sur le Linked Data, vous pouvez consulter l'ouvrage :

Podcast Episode

May 18, 2013

La ressource pédagogique « Histoire(s) de l’ergonomie » est à en ligne. Nous espérons que vous aurez plai...

Le Labo des Savoirs - 12/12/2012

Apr 29, 2013

L'informatique n'est pas plus la science des ordinateurs que l'astronomie n'est celle des téléscopes. A é...

Algorithmes, machines et langages - Idées - France Culture

Apr 15, 2013

Algorithmes, machines et langages - Idées - France Culture : Interview de Gérard Berry à l'émission "L'El...