Specifying Software

Specifying Software

4.11 - 1251 ratings - Source

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


You Must CONTINUE and create a free account to access unlimited downloads & streaming