Thomas Jensen

الكتب
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
٢٠٢٦
Static Analysis Static Analysis
Static Analysis
٢٠١٥

الكتب الصوتية
Seth – en krigermunk bag tremmer Seth – en krigermunk bag tremmer
Seth – en krigermunk bag tremmer
٢٠١٥
Abenteurer unserer Zeit, Graf Zeppelin Abenteurer unserer Zeit, Graf Zeppelin
Abenteurer unserer Zeit, Graf Zeppelin
٢٠١٩
Abenteurer unserer Zeit, Roald Amundsen Abenteurer unserer Zeit, Roald Amundsen
Abenteurer unserer Zeit, Roald Amundsen
٢٠١٩