Model Checking
Langue : Anglais
Auteurs : Jr. Edmund M. Clark, Grumberg Orna, Kroening Daniel, Peled Doron, Veith Helmut
Date de parution : 01-2019
Ouvrage de 424 p.
17.8x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 12 jours).
Prix indicatif 80,87 €
Ajouter au panierThème de Model Checking :
© 2024 LAVOISIER S.A.S.