Verifying Temporal Properties of Systems by J C Bradfield (Paperback / softback, 2012)

Brand new: lowest price

AU $160.12

Free 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.