Vérification formelle de la plate-forme JavaCard

Où acheter (1) Caractéristiques
Sponsorisé
Vérification formelle de la plate-forme JavaCard
FNAC BE
83.03 EUR
Prix mis à jour le: 12-05-2026 09:36:38
Voir l'offre

Général

ISBN
6131539316

Caractéristiques

Produits similaires

Approche formelle pour la vérification des IDS
Approche formelle pour la vérification des IDS
Voir produit
Approche formelle pour la vérification des IDS
Approche formelle pour la vérification des IDS
Voir produit
Vérification semi-formelle et synthèse automatique de psl vers hdl
Vérification semi-formelle et synthèse automatique de psl vers hdl
Voir produit
Vers une démarche de vérification formelle d'architectures logicielles
Vers une démarche de vérification formelle d'architectures logicielles
Voir produit
Vérifications faites
Vérifications faites
Voir produit
Vérification semi-formelle et synthèse automatique de psl vers hdl
Vérification semi-formelle et synthèse automatique de psl vers hdl
Voir produit
Menu