Logic in computer science : modelling and reasoning about systems 的封面影像

Logic in computer science : modelling and reasoning about systems


紙本圖書, English, 2004
2nd ed
Cambridge University Press, Cambridge [u.a], 2004