Handbuch der computergestützten Verifizierung von Jordan Dean [gebunden]
139,69 €
Computer aided verification (CAV) refers to the practice and theory of computer-assisted formal analysis of software and hardware systems. The purpose of formal verification is to increase the dependability and safety of software and hardware systems.
Jetzt bei Ebay:
![Produktbild - Computer Aided Verification: Emerging Trends by Tyler Keating [Hardback]](https://i.ebayimg.com/thumbs/images/g/UL4AAeSweYpoH8vd/s-l140.jpg)
![Produktbild - New Paradigms in Computer Aided Verification by Tyler Keating [Hardback]](https://i.ebayimg.com/thumbs/images/g/pzgAAeSwX0VoH8uw/s-l140.jpg)
![Produktbild - Handbook of Child and Adolescent Anxiety Disorders by Dean McKay [Hardback]](https://i.ebayimg.com/thumbs/images/g/AYoAAOSw5-dnl0WI/s-l140.jpg)
