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
Grundlegende Aspekte der Informationsverarbeitung in natürlichen und künstlichen SystemenRalf Sommer€1.95Last copyAdd to cart