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

Test automatique de propriétés dans un atelier de développement de logiciels sûrs / Mathieu Carlier ; directeur de thèse Catherine Dubois

Date :

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

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Logiciels -- Développement -- Thèses et écrits académiques

Classification Dewey : 005

Dubois, Catherine (19..-.... ; informaticienne) (Directeur de thèse / thesis advisor)

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