An innovative hands-on introduction to techniques for specifying the behaviour of software components.A Hands-On Introduction R. D. Tennent ... The concept of an incomputable function comes from computability theory, a branch of mathematical logic with particular ... Introduction to Automata Theory, Languages, and Computation. ... Elements of the Theory of Computation, 2nd edition. ... A First Course in Computability.

Title | : | Specifying Software |

Author | : | R. D. Tennent |

Publisher | : | Cambridge University Press - 2002 |

Continue