Theorem Proving in Higher Order LogicsDavid Basin
Theorem Proving in Higher Order Logics
David Basin, Burkhart Wolff · 2003
איפה לקנות
המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.
לצפייה באמזוןזה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2003
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 1
- ISBN
- 9783540451303
מקור הנתונים: Wikidata
עוד של David Basin
Principles of Security and TrustDavid Basin
Principles of Security and Trust
David Basin · 2013
Labelled DeductionDavid Basin
Labelled Deduction
David Basin · 2000
Applied Information SecurityDavid Basin
Applied Information Security
David Basin · 2011
Labelled deductionDavid Basin
Labelled deduction
David Basin · 2000
Proceedings of the Second ACM Conference on Wireless Network SecurityDavid Basin
Proceedings of the Second ACM Conference on Wireless Network Security
David Basin · 2009
Automated ReasoningDavid Basin
Automated Reasoning
David Basin · 2004