Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation (Foundations and Trends(r) in Programming Languages)

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

Gesponsert Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation (Foundations and Trends(r) in Programming Languages)

103.98 EUR
Preis aktualisiert am: 02-09-2025 12:21:28
Siehe Produktangebot

Gesponsert Miné, Antoine: Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

110.71 EUR
Preis aktualisiert am: 15-12-2024 15:32:30
Siehe Produktangebot
Bezeichner
Abmessungen / Gewicht
Hauptmerkmale
Antoine Miné