jeudi 13 février 2014

Reasoned Programming

"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.