Refinement in Z and Object-Z
Foundations and Advanced Applications
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
551.47
lei
This book covers data refinement and its application to Z; generalisations of refinement that change...
