"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...
Published 02/13/14