Logic in Computer Science: Modelling and Reasoning about Systems

ISBN-13: 9780521652001

ISBN-10: 0521652006

Authors: Huth, Michael; Ryan, Mark

Binding: Hardcover

Publisher: Cambridge University Press

Published: 2000

Sell this book           Buy or Rent?