From computer literacy to informatics fundamentalsRoland T. Mittermeir€7.79Last copySealedAdd to cart
Verification, model checking, and abstract interpretationE. Allen Emerson€12.992 copies in stockAdd to cart
Formal methods and stochastic models for performance evaluationAndrás Horváth€4.79Last copyAdd to cart
Formal methods and stochastic models for performance evaluationKatinka Wolter€10.32Last copyAdd to cart