ภาพปกด้านหน้าของ Logic in computer science : modelling and reasoning about systems

Logic in computer science : modelling and reasoning about systems

Michael Huth, Mark Ryan

พิมพ์หนังสือ, English, 2004
Cambridge University Press, Cambridge [u.a], 2004