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