Logic in computer science : modelling and reasoning about systems
もっともっと探す
+もっと詳しい情報
出版社: Cambridge University Press(2004)
ISBN-10: 052154310X ISBN-13: 9780521543101
出版社: Cambridge University Press(2004)
ISBN-10: 052154310X ISBN-13: 9780521543101