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=14875516X.

Foundations and implementation of a tool bench for static analysis of Java bytecode programs / Laurent Hubert ; [sous la dir. de]Thomas Jensen

Date :

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

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Logiciels -- Validation -- Thèses et écrits académiques

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

Java (langage de programmation) -- Thèses et écrits académiques

Langages de programmation -- Sémantique -- Thèses et écrits académiques

Systèmes informatiques -- Mesures de sûreté -- Thèses et écrits académiques

Systèmes informatiques -- Mesures de sécurité -- Thèses et écrits académiques

Jensen, Thomas (1965-....) (Directeur de thèse / thesis advisor)

Université de Rennes 1 (Organisme de soutenance / degree-grantor)

Université européenne de Bretagne (Autre partenaire associé à la thèse / thesis associated third party)

École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (Ecole doctorale associée à la thèse / doctoral school)