Besoin d'aide ?
BE
US
CA
UK
ES
FR
DE
IT
Catégories
Adulte
Alimentation, boissons et tabac
Animaux et articles pour animaux de compagnie
Appareils électroniques
Appareils photo, caméras et instruments d'optique
Arts et loisirs
Bagages et maroquinerie
Bébés et tout-petits
Entreprise et industrie
Équipements sportifs
Fournitures de bureau
Jeux et jouets
Logiciels
Maison et jardin
Médias
Meubles
Quincaillerie
Santé et beauté
Véhicules et accessoires
Vêtements et accessoires
Information
À propos de nous
Termes et conditions
Politique de confidentialité
Blog
Contact
Page d’accueil
Médias
Livres
Vérification formelle de la plate-forme JavaCard
Vérification formelle de la plate-forme JavaCard
83.03 EUR
Partager:
Offres
Sponsorisé
Vérification formelle de la plate-forme JavaCard
FNAC BE
83.03 EUR
21-04-2026 07:48:04
Produits connexes
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
187.40 EUR
Vérification semi-formelle et synthèse automatique de psl vers hdl
92.85 EUR
Formalisation d'un procédé de développement logiciel basé modèle
65.75 EUR
Vers une démarche de vérification formelle d'architectures logicielles
87.14 EUR
Approche formelle pour la vérification des IDS
70.03 EUR
Vérifications faites
10.65 EUR
Assisting abstraction and verification of hardware intellectual property (ip) modules
67.18 EUR
Méthodes formelles pour le parallélisme
39.90 EUR