Imagem da capa de Logic in computer science : modelling and reasoning about systems

Logic in computer science : modelling and reasoning about systems


Livro impresso, English, 2004
Cambridge University Press, Cambridge [u.a], 2004