Verlag: Cambridge University Press, 1999
ISBN 10: 0521652006 ISBN 13: 9780521652001
Sprache: Englisch
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: Good. Used book that is in clean, average condition without any missing pages.
Verlag: Cambridge University Press, 2004
ISBN 10: 052154310X ISBN 13: 9780521543101
Sprache: Englisch
Anbieter: moluna, Greven, Deutschland
Zustand: New. This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expan.