Verification, model checking, and abstract interpretationE. Allen Emerson€10.992 copies in stockAdd to cart
Formal methods and stochastic models for performance evaluationAndrás Horváth€4.39Last copyAdd to cart