1. Page d’accueil
  2. Médias
  3. Livres
  4. Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Lecture Notes in Computer Science) - [Version Originale]
  • #
  • #

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings (Lecture Notes in Computer Science) - [Version Originale]

60.22 EUR

Partager:

Produits connexes

Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools - B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen et P. McKenzie

6.64 EUR
Improving Scalability of Model Checking Software Architectures

Improving Scalability of Model Checking Software Architectures

48.92 EUR
Simulation et vérification de modèle par métamodélisation executable

Simulation et vérification de modèle par métamodélisation executable

98.53 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

107.45 EUR
Vérificateur de diamètre Limit MTS1835

Vérificateur de diamètre Limit MTS1835

149.47 EUR
Vérifications faites

Vérifications faites

10.65 EUR
Theory of Program Structures: Schemes, Semantics, Verification

Theory of Program Structures: Schemes, Semantics, Verification - Sheila A. Greibach

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

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

54.98 EUR