Verification, model checking, and abstract interpretationE. Allen Emerson47,99 €2 exemplaires en stock4,3Ajouter au panier
