"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-6Autre url: pdfReasoned Programming montre comment appliquer un raisonnement mathématique pour le développement de programmes, en utilisant les spécifications logiques.
The podcast Informatique & pédagogie is embedded on this page from an open RSS feed. All files, descriptions, artwork and other metadata from the RSS-feed is the property of the podcast owner and not affiliated with or validated by Podplay.