Huth, Michael

Logic in Computer Science: Modelling and Reasoning about Systems

Availability
To see availability please select your region.
Books2Africa Collection
Subjects
Author(s)
Published
26th August 2004
Publisher
Cambridge University Press
ISBN-10
9780521543101
ISBN-13
9780521543101
To reserve this book you first need to set your reservation location.