Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=004907809.

Détermination automatique de relations linéaires vérifiées par les variables d'un programme / Nicolas Halbwachs ; sous la dir. de Michel Sakarovitch

Date :

Editeur / Publisher : [Lieu de publication inconnu] : [Éditeur inconnu] , [1979]

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Rationalisation des choix budgétaires -- Thèses et écrits académiques

Sakarovitch, Michel (Directeur de thèse / thesis advisor)

Université Joseph Fourier (Grenoble) (Organisme de soutenance / degree-grantor)

Institut national polytechnique (Grenoble) (Organisme de soutenance / degree-grantor)

Relation : Détermination automatique de relations linéaires vérifiées par les variables d'un programme [Ressource électronique] / Nicolas Halbwachs ; sous la dir. de Michel Sakarovitch / Grenoble : Université Joseph Fourier , 2008