Coverbild für Logic in computer science : modelling and reasoning about systems

Logic in computer science : modelling and reasoning about systems


Gedrucktes Buch, English, 2004
Cambridge University Press, Cambridge [u.a], 2004