Authors | David Basin
autor-image
David Basin

Books by David Basin

Applied Information Security : A Hands-On Approach
Applied Information Security : A Hands-On Approach: by David Basin
by David Basin
Labelled Deduction
Labelled Deduction: by David Basin
by David Basin
Theorem Proving in Higher Order Logics: 16th International Conference, Tphols 2003, Rom, Italy, September 8-12, 2003, Proceedings
Theorem Proving in Higher Order Logics: 16th International Conference, Tphols 2003, Rom, Italy, September 8-12, 2003, Proceedings: by David Basin
by David Basin
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings: by David Basin
by David Basin

Stay in touch.

© 2025 AMPLE READS