1. Page d’accueil
  2. Médias
  3. Livres
  4. Vérification formelle de la plate-forme JavaCard
  • #

Vérification formelle de la plate-forme JavaCard

83.03 EUR

Partager:
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)

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

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

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

Vers une démarche de vérification formelle d'architectures logicielles

87.14 EUR
Approche formelle pour la vérification des IDS

Approche formelle pour la vérification des IDS

70.03 EUR
Vérifications faites

Vérifications faites

10.65 EUR
Assisting abstraction and verification of hardware intellectual property (ip) modules

Assisting abstraction and verification of hardware intellectual property (ip) modules

67.18 EUR
Méthodes formelles pour le parallélisme

Méthodes formelles pour le parallélisme

39.90 EUR