Brand new: lowest price
AU $160.12Free postage
- Get it by Mon, 27 Aug - Tue, 11 Sep from Sydney, Australia
- • Brand new condition
- • 30-day returns - Buyer pays return postage
By J.C. Bradfield. Author J.C. Bradfield. - 1.1 Infinite state model-checking. - 1.2 Background. - 1.2.1 Imperative programs and Hoare logic. - 1.2.2 Dynamic logic. - 1.2.3 Modal and temporal logic.