Skip to main content
Logic in Computer Science: Modelling and Reasoning about Systems
Cambridge University Press

Logic in Computer Science: Modelling and Reasoning about Systems

Compare buying options

No live offers.
Compare similar items
Sold byDetailsSpecial savingsItem price
No store has this in stock right now.

Product Description

Recent 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 increasing demand for training in basic methods

Set Price Drop

Get an alert as soon as it’s on sale.

Alert set

Your price
Lowest now—

We’ll let you know when any store drops to your price or lower.

View price drops