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

37.00 EUR
Preis aktualisiert am: 02-09-2024 20:40:56
Siehe Produktangebot

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: 17-04-2025 00:30:19
Siehe Produktangebot
Bezeichner
ISBN Daniel Wasserrab 3866445946
Abmessungen / Gewicht
Hauptmerkmale
Daniel Wasserrab