Verification of Business Rules Programs
Autor:
Bruno Berstel-Da Silva
Disponibilitate:
În depozitul extern
Expediem în 8-11 zile
276.96
lei
This publication enables rule authors and tool developers to understand, express formally, and prove...
