![]() |
Informatique & pédagogieAuthor: E. Desmontils Language: en-us Genres: Courses, Education, Technology Contact email: Get it Feed URL: Get it iTunes ID: Get it |
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.




