Notice de titre conventionnel
- Notice
000 nx f22 45
001 FRBNF169565362
100 .. $a 20150331afrey50 ba0
106 .. $a 210
152 .. $c 2
154 .. $a |a
230 .. $7 ba0yba0y $8 fre $9 0 $a Java Card $n système d'exploitation des ordinateurs
300 1. $a Forme de l'oeuvre : Logiciel
430 .. $7 ba0yba0y $8 fre $9 $a Javacard $n système d'exploitation des ordinateurs
686 .. $a 621 $2 Note de regroupement par domaine
801 .. $a FR $b FR-751131015 $c 20150331
810 .. $a Vérification formelle de la plate-forme Javacard / S. M. de Sousa, 2011 $a Java Card technology for Smart Cards : architecture and programmer's guide / Z. Chen,
2000
