Reasoned Programming
Feb 13, 2014
Listen to this episode in Metacast mobile app
Don't just listen to podcasts. Learn from them with transcripts, summaries, and chapters for every episode. Skim, search, and bookmark insights. Learn more
Episode description
"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.
For the best experience, listen in Metacast app for iOS or Android