A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.

Title | : | The Way of Z |

Author | : | Jonathan Jacky |

Publisher | : | Cambridge University Press - 1997 |

Continue