The calculus of computation : decision procedures with applications to verification /

Ejemplares similares

• Logic in computer science : modelling and reasoning about systems /
  por: Huth, Michael, 1962-
  Publicado: (2004)
• Software verification and validation : an engineering and scientific approach /
  por: Fisher, Marcus S.
  Publicado: (2007)
• Verification, validation and testing in software engineering /
  Publicado: (2007)
• Lógica computacional /
  por: Paniagua Arís, Enrique
  Publicado: (2003)
• Software engineering reviews and audits /
  por: Summers, Boyd L.
  Publicado: (2011)