Besoin d'aide ?
FR
US
CA
UK
ES
FR
DE
IT
Catégories
Adulte
Alimentation, boissons et tabac
Animaux et articles pour animaux de compagnie
Appareils électroniques
Appareils photo, caméras et instruments d'optique
Arts et loisirs
Bagages et maroquinerie
Bébés et tout-petits
Entreprise et industrie
Équipements sportifs
Fournitures de bureau
Jeux et jouets
Logiciels
Maison et jardin
Médias
Meubles
Quincaillerie
Santé et beauté
Véhicules et accessoires
Vêtements et accessoires
Information
À propos de nous
Termes et conditions
Politique de confidentialité
Blog
Contact
Page d’accueil
Médias
Livres
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]
71.53 EUR
Partager:
Offres
Sponsorisé
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]
Fnac FR
71.53 EUR
17-06-2026 06:19:20
Produits connexes
Vérifications faites
10.12 EUR
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
65.09 EUR
Vérificateur de diamètre Limit MTS1835
145.64 EUR
Improving Scalability of Model Checking Software Architectures
49.32 EUR
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