Livres en français

De Patrice Enjalbert

3 résultats

Logique temporelle : sémantique et validation de programmes parallèles

Approches sémantiques du document électronique : actes du septième Colloque