Vérification formelle de la plate-forme JavaCard | DealShopping Belgique
  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
12-05-2026 09:36:38

Produits connexes

Vérifications faites

Vérifications faites

9.86 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

134.81 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

91.89 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

95.44 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.09 EUR
Vers une démarche de vérification formelle d'architectures logicielles

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

127.00 EUR