Leitfaden zur Softwareverifizierung mit Frama-C: Kernkomponenten, Anwendungen und
90,28 €
With the growing complexity and ubiquity of modern software, there is increasing interest in code analysis tools at various levels of formalization to ensure safety and security of software products.
Jetzt bei Ebay:
![Produktbild - A Guide to Selecting Software Measures and Metrics by Capers Jones [Paperback]](https://i.ebayimg.com/thumbs/images/g/~EgAAeSwQn9oNuJO/s-l140.jpg)
![Produktbild - Guide to Software Development: Designing and Managing the Life Cycle [Paperback]](https://i.ebayimg.com/thumbs/images/g/ux4AAeSw939oPMl1/s-l140.jpg)
![Produktbild - Building Quantum Software with Python: A developer’s guide [Paperback] NEUF](https://i.ebayimg.com/thumbs/images/g/RlcAAeSw4khoQ04h/s-l140.jpg)
![Produktbild - Principles of Package Design: Creating Reusable Software Components [Paperback]](https://i.ebayimg.com/thumbs/images/g/ez4AAeSwe6toOr24/s-l140.jpg)
