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

69.49 EUR
Preis aktualisiert am: 19-09-2026 22:08:29
Siehe Produktangebot

Gesponsert Verification, Model Checking, and Abstract Interpretation

69.54 EUR
Preis aktualisiert am: 20-09-2026 22:52:55
Siehe Produktangebot

Gesponsert Verification, Model Checking, and Abstract Interpretation, Fachbücher von Ashutosh Trivedi, Sriram Sankaranarayanan, Krishna Shankaranarayanan

69.54 EUR
Preis aktualisiert am: 17-09-2026 12:27:54
Siehe Produktangebot
Bezeichner
Abmessungen / Gewicht
Hauptmerkmale