From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert From Formal Semantics to Verified Slicing: A Modular Framework with Applications in Language Based Security: A Modular Framework with Applications in Language Based Security
37.00 EUR
Preis aktualisiert am: 15-04-2025 22:00:47
37.00 EUR
Preis aktualisiert am: 15-04-2025 22:00:47 | Bezeichner | |
|---|---|
| ISBN | Daniel Wasserrab 3866445946 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Daniel Wasserrab





