Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Model Checking
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Model Checking

Model Checking

Edmund M. Clarke

464 pages, parution le 18/10/2018

Résumé

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.p

Caractéristiques techniques

  PAPIER
Éditeur(s) Mit press
Auteur(s) Edmund M. Clarke
Parution 18/10/2018
Nb. de pages 464
EAN13 9780262038836

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription