Logic in computer science: Modelling and reasoning about systems

相似書籍

• Logic in computer science Modelling and reasoning about systems /
  由: Huth, Michael
  出版: (2004)
• Logic in computer science: modelling and reasoning about systems/
  由: Huth, Michael
  出版: (2005)
• Logic In Computer Science /
  由: Huth, Michael .
  出版: (2004)
• Computer science logic /
  出版: (2003)
• Logics for computer science
  由: Singh, Arindama
  出版: (2004)