Ingénierie de la spécialisation de programmes 2 : techniques avancées (Coll. Logique et programmation). Accéder au produit