Livres en français

De Luis Farinas Del Cerro

1 résultats

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