Verification Model Checking and Abstract Interpretation
53.49 EUR
Entdecken Sie die spannenden Ergebnisse der VMCAI‑Konferenz 2013 in Rom, wo Forscher neue Techniken zur Modellprüfung und abstrakten Interpretation vorstellen – ein wertvolles Nachschlagewerk für Akademiker und Praktiker.