Systems and Software Verification: Model-Checking Techniques and Tools by B. Ber
155,76 €
Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct.
Jetzt bei Ebay:
![Produktbild - Children's Online Language and Interaction by Vincenza [Hardback]](https://i.ebayimg.com/thumbs/images/g/dzoAAeSwX0VoG-5i/s-l140.jpg)
