Nutzung von Anwendungen formaler Methoden, Verifizierung und Validierung.
70,08 €
Opportunities and Challenges in Monitoring Cyber-physical Systems Security. - Increasing the Reusability of Enforcers with Lifecycle Events. - BDDs on the Run. - Verifying Real-World Software with Contracts for Concurrency.
Jetzt bei Ebay:
![Produktbild - Leveraging Data Science for Global Health by Leo Anthony Celi [Paperback] NEUF](https://i.ebayimg.com/thumbs/images/g/hY8AAeSwv0BoOM~F/s-l140.jpg)