Recherche
C. Livercy. Théorie des Programmes (schémas, preuves, sémantique).
Basic : programmation des microordinateurs, par A. Checroun.
Introduction
à A.P.L., par S. Pommier. Cobol. Initiation et pratique, par M. Barès et H. Ducasse.
Télécharger C. Livercy. Théorie des Programmes (schémas, preuves, sémantique). pdf
Sémantique opérationnelle - LSV - ENS Cachan
Fomesoutra