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
SpringerLink DE
Gesponsert Verification, Model Checking, and Abstract Interpretation
53.49 EUR
Preis aktualisiert am: 27-04-2026 22:23:55
53.49 EUR
Preis aktualisiert am: 27-04-2026 22:23:55 
Galaxus.de
Gesponsert Verification, Model Checking, and Abstract Interpretation, Fachbücher von K. Rustan M. Leino, Barbara Jobstmann
53.49 EUR
Preis aktualisiert am: 27-04-2026 18:21:09
53.49 EUR
Preis aktualisiert am: 27-04-2026 18:21:09 | Bezeichner | |
|---|---|
| MPN | 123 colour illustrations, biography |
| ISBN | 3662491214 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
