Bidoit M

Bases De Données Déductives - Présentation De Datalog

Tapsoft'97: Theory And Practice Of Software Development

Casl User Manual

Systems And Software Verification

Paradigmes Et Enjeux De L'informatique : Traite Ic2, Serie Informatique Et Systemes D'information