Logic in computer science: Modelling and reasoning about systems

Lignende værker

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