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
Galaxus.de
Gesponsert Verification, Model Checking, and Abstract Interpretation, Fachbücher von Ahmed Bouajjani, David Monniaux
53.49 EUR
Preis aktualisiert am: 28-07-2026 05:02:55
53.49 EUR
Preis aktualisiert am: 28-07-2026 05:02:55 
SpringerLink DE
Gesponsert Verification, Model Checking, and Abstract Interpretation
59.00 EUR
Preis aktualisiert am: 27-07-2026 20:00:51
59.00 EUR
Preis aktualisiert am: 27-07-2026 20:00:51 | Bezeichner | |
|---|---|
| ISBN | 3319522337 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
