Systems and Software Verification: Model-checking Techniques and Tools by P. Schnoebelen, L. Petrucci, Michel Bidoit, A. Petit, B. Berard, A. Finkel, F. Laroussinie (Hardback, 2001)

Brand new: lowest price

AU $196.25

Free postage
  • Get it by Mon, 5 Nov - Mon, 12 Nov from Sydney, Australia
  •  • Brand new condition
  •  • 60-day returns - Free returns
By B. Berard ISBN: 9783540415237. Systems and Software Verification. Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct.
Sold bybooktopia_australia (287918)98.8% positive FeedbackContact seller