Verification Model Checking and Abstract Interpretation | Kaicus Deutschland

Verification Model Checking and Abstract Interpretation

53.49 EUR

Ein Sammelband aus der VMCAI‑Konferenz 2004 in Venedig, der aktuelle Forschungsergebnisse zur formalen Verifikation, Modellprüfung und abstrakten Interpretation präsentiert und neue theoretische Ansätze sowie praktische Anwendungen beleuchtet.

ISBN: 3540208038
MPN: Illustrations
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen