Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Synthesis Lectures on Software Engineering)
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security (Synthesis Lectures on Software Engineering)
26.74 EUR
Preis aktualisiert am: 24-04-2026 05:21:02
26.74 EUR
Preis aktualisiert am: 24-04-2026 05:21:02 
SpringerLink DE
Gesponsert Symbolic Execution and Quantitative Reasoning
26.74 EUR
Preis aktualisiert am: 24-04-2026 08:21:50
26.74 EUR
Preis aktualisiert am: 24-04-2026 08:21:50 | Bezeichner | |
|---|---|
| Abmessungen / Gewicht | |
| Hauptmerkmale |
Pasareanu, Corina S.
