Filter By
Books (3)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Logic in Computer Science: Modelling and Reasoning about Systems by Michael Huth
RRP: £54.99Booksplease Price: £47.95Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is... -
Trust and Trustworthy Computing: 6th International Conference, TRUST 2013, London, UK, June 17-19, 2013, Proceedings by Michael Huth 9783642389078
Booksplease Price: £41.36This book constitutes the refereed proceedings of the 6th International Conference on Trust and Trustworthy Computing, TRUST 2013, held in London, UK, in June 2013. There is a technical and a... -
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches by Bernhard Steffen 9783319683966
Booksplease Price: £33.44The books in this trilogy capture the foundational core of advanced informatics. The authors make the foundations accessible, enabling students to become effective problem solvers.This first volume...