Thomas Jensen

Livros
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
2026
Static Analysis Static Analysis
Static Analysis
2015

Audiolivros
Seth – en krigermunk bag tremmer Seth – en krigermunk bag tremmer
Seth – en krigermunk bag tremmer
2015
Abenteurer unserer Zeit, Graf Zeppelin Abenteurer unserer Zeit, Graf Zeppelin
Abenteurer unserer Zeit, Graf Zeppelin
2019
Abenteurer unserer Zeit, Roald Amundsen Abenteurer unserer Zeit, Roald Amundsen
Abenteurer unserer Zeit, Roald Amundsen
2019