Editore: Cambridge University Press, 2004
ISBN 10: 052154310X ISBN 13: 9780521543101
Da: moluna, Greven, Germania
Condizione: 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.