Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1
  • Bild 2

Herausforderungen der Softwareverifizierung (Intelligent Systems Reference Library)

Ø 0.0
0 Bewertungen
174,22 €

This book provides an overview about the open challenges in software verification. Over the years, the software verification community has proposed and considered several techniques: abstract interpretation, data-flow analysis, type systems, model checking are just a few examples.

Jetzt bei Ebay: