From computer literacy to informatics fundamentalsRoland T. Mittermeir€9.36Last copySealedAdd to cart
Verification, model checking, and abstract interpretationE. Allen Emerson€15.492 copies in stockAdd to cart
Formal methods and stochastic models for performance evaluationAndrás Horváth€5.49Last copyAdd to cart
Formal methods and stochastic models for performance evaluationKatinka Wolter€10.32Last copyAdd to cart
Diagnosis of process nonlinearities and valve stictionM. A. A. Shoukat Choudhury€11.68Last copyAdd to cart