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=088641503.

Une modélisation de l'analyse de programmes par instances à travers la théorie des automates [Texte imprimé] : les transducteurs comme relations des instances aux emplacements-mémoire / Pierre Amiranoff ; sous la dir. de Véronique Viguié Donzeau-Gouge

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 2004

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Logiciels -- Vérification -- Thèses et écrits académiques

Automates -- Thèses et écrits académiques

Transducteurs -- Thèses et écrits académiques

Programmation récursive -- Thèses et écrits académiques

Classification Dewey : 005

Donzeau-Gouge Viguié, Véronique (Directeur de thèse / thesis advisor)

Conservatoire national des arts et métiers (France) (Organisme de soutenance / degree-grantor)

Relation : Une modélisation de l'analyse de programmes par instances à travers la théorie des automates : les transducteurs comme relations des instances aux emplacements-mémoire / Pierre Amiranoff ; sous la dir. de Véronique Viguié Donzeau-Gouge / Grenoble : ANRT , 2008