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

Logiques pour XML / Pierre Genevès ; directeur de thèse Vinvent Quint

Date :

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

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

XML (langage de balisage) -- Thèses et écrits académiques

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

Arbres (théorie des graphes) -- Informatique -- Thèses et écrits académiques

Quint, Vincent (1948-....) (Directeur de thèse / thesis advisor)

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