David Basin
Proceedings of the Second ACM Conference on Wireless Network Security
David Basin · 2009
פרטי הספר
- שנה
- 2009
- שפה
- English
- הוצאה
- Association for Computing Machinery
- מהדורות
- 1
- ISBN
- 9781605584607
מקור הנתונים: Wikidata
עוד של David Basin
David Basin

Principles of Security and Trust
David Basin · 2013
David Basin

Labelled Deduction
David Basin · 2000
David Basin

Applied Information Security
David Basin · 2011
David Basin

Labelled deduction
David Basin · 2000
David Basin
Automated Reasoning
David Basin · 2004
David Basin
Theorem Proving in Higher Order Logics
David Basin · 2003