Logic in Computer Science

Modelling and Reasoning about Systems

by

  • Publisher: Cambridge University Press
  • Print ISBN: 9780521543101, 052154310X

  • eText ISBN: 9781139636131, 1139636138

  • Edition: 2nd