1. Page d’accueil
  2. Médias
  3. Livres
  4. Formal Verification of Control System Software
  • #

Formal Verification of Control System Software

59.97 EUR

Partager:
Sponsorisé

Formal Verification of Control System Software

Fnac FR
59.97 EUR
23-04-2026 10:17:33

Produits connexes

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age

The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age - [Livre en VO]

40.36 EUR
Development and Formal Verification of TTCAN

Development and Formal Verification of TTCAN

123.10 EUR
Revue des Nouvelles Technologies de l'Information Rnti-Sm-1-Isola 2007

Revue des Nouvelles Technologies de l'Information Rnti-Sm-1-Isola 2007

6.17 EUR
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)

SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)

6.17 EUR
Thomas Kropf Introduction To Formal Hardware Verification

Thomas Kropf Introduction To Formal Hardware Verification

26.00 EUR
Mécanique quantique

Mécanique quantique

31.64 EUR
Physique Des Particules

Physique Des Particules - Cours Et Exercices Corrigés, Introduction Et Formalisme Du Modèle Standard

6.17 EUR
Problèmes de satisfaction de contraintes: Formalismes et techniques CSP

Problèmes de satisfaction de contraintes: Formalismes et techniques CSP

1.00 EUR