MAITRISER LA SECURITE DES SYSTEMES PROGRAMMABLES
BOULANGER JEAN-LOUIS
UNIV EUROPEENNE
Expédié sous 4 à 10 jours
SECURISATION DES ARCHITECTURES INFORMATIQUES : EXEMPLES CONCRETS
HERMES
TECHNIQUES INDUSTRIELLES DE MODELISATION FORMELLE POUR LE TRANSPORT