Informatique & pédagogie Author: E. Desmontils Language: en-us Genres: Courses, Education, Technology Contact email: Get it Feed URL: Get it iTunes ID: Get it Get all podcast data

Listen Now...

Reasoned Programming
Wednesday, 12 February, 2014

"Reasoned Programming" http://www.doc.ic.ac.uk/~susan/firstyearbook.pdf (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 appliquer un raisonnement mathématique pour le développement de programmes, en utilisant les spécifications logiques.

We also recommend:

Geek Speak with Lyle Troxell
Lyle Troxell

Affinity Photoart on Air
Frank Schatz

Water supply and treatment in the UK - for iPod/iPhone
The Open University

jag77jag

LIQUID a Podcast

23

Awedio Bytes
Awedio Bytes

AvP Podcast AvalonPending

Hier & Jetzt
neunetz.fm

IDC TechTalk
IDC

8.5Bits
8.5Bits

Grant Carlile
Grant Carlile