Affichage détaillé des résultats

ISN :

81007

Auteur :

Livercy, C.

Date :

1978

titre :

Théorie des programmes Schémas, preuves, sémantique

Resumé :

/Programmation mathematique/, /mathematiques/ /methodologie/ de /programmation/, /theorie de l'information/