Pascal ISO/AFNOR: programmation déductive et description de la norme.

Tisserant, A.

Pascal ISO/AFNOR: programmation déductive et description de la norme. - Paris : Dunod Informatique, 1986. - 177 p.

2040157042