Sale Quick view Add to Cart Logic In Computer Science: Modelling And Reasoning About Systems £50.99 £49.17 Cambridge University Press