Verification, Model Checking, and Abstract Interpretation

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

Gesponsert Verification, Model Checking, and Abstract Interpretation, Fachbücher von K. Rustan M. Leino, Barbara Jobstmann

53.49 EUR
Preis aktualisiert am: 29-07-2026 01:43:54
Siehe Produktangebot

Gesponsert Verification, Model Checking, and Abstract Interpretation

59.00 EUR
Preis aktualisiert am: 29-07-2026 07:18:10
Siehe Produktangebot
Bezeichner
MPN 123 colour illustrations, biography
ISBN 3662491214
Abmessungen / Gewicht
Hauptmerkmale