Comparor Shopping Experience
Comparor France
  1. Page d’accueil
  2. Livres
  3. Livres de informatique et Internet
  4. Livres et appareils portables
  5. Vérification des Systèmes et Logiciels : Techniques et Outils de Model-Checking
Prix à partir
6.64 EUR

Vérification des Systèmes et Logiciels : Techniques et Outils de Model-Checking

 Magasins où acheter ce produit

Sponsorisé  Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations

Sponsorisé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

Moins cher Produit utilisé
6.64 EUR
Voir l'offre
Ce produit dans Comparor
Catégorie
Ce produit est catalogué dans notre magasin dans ces catégories
 - Livres et appareils portables
- Livres de mathématiques
- Livres d'ingénierie
International
Trouvez ce produit dans l'un de nos magasins internationaux
Ce produit n'a pas été trouvé dans d'autres pays
Couleurs
Couleurs prédominantes du produit
Identifiants
Marque Springer
ID 116686894
Dimensions / poids
Fonctionnalités clés

Articles connexes

🤖 Bonjour ! Je suis votre assistant virtuel. Je peux vous aider à trouver des produits, comparer des prix et répondre à vos questions. Par quoi commençons-nous ?
Service de chatbot fourni grâce à Gemini 3 / OpenAI utilisant la base de données de Comparor. L’IA peut commettre des erreurs — vérifiez toujours les informations.
Comparor AI BETA
Online
Redémarrer la conversation ?