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: 26-07-2026 04:56:04
Siehe Produktangebot

Gesponsert Verification, Model Checking, and Abstract Interpretation

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