Rechercher toutes les 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
Toutes les catégories
Kaicus
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
Offres
Liste des magasins
Marques
Blog
Offres
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
Politique de confidentialité
Termes et conditions
Contact
FAQ
Conseils aux acheteurs
© 2026,
Kaicus
- Smart Shopping
All rights reserved
Kaicus
Médias
Livres
Model Checking Abstract State Machines
Model Checking Abstract State Machines
78.87 EUR
Marque
:
Vdm Verlag Dr Mueller E K
ISBN:
3639018915
Offres
Caractéristiques
Sponsorisé
Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation.
Plus d'informations
Sponsorisé
Model Checking Abstract State Machines
Fnac FR
78.87 EUR
78.87 EUR
30-04-2026 22:28:04
Accès à la transaction
Produits connexes
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]
72.26 EUR
Voir produit
Improving Scalability of Model Checking Software Architectures
48.92 EUR
Voir produit
Model Checking (Cyber Physical Systems Series) - [Version Originale]
105.98 EUR
Voir produit
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
Voir produit