Sale Quick view Add to Cart Logic In Computer Science: Modelling And Reasoning About Systems $58.44 $56.35 Cambridge University Press