Discover new books on Goodreads

See if your friends have read any of David Basin's books

David Basin

David Basin’s Followers

None yet.

David Basin

Combine Editions
David Basin’s books

Average rating: 3.67 · 9 ratings · 0 reviews · 10 distinct works

	Applied Information Security: A Hands-on Approach by David Basin, Patrick Schaller, Michael Schläpfer 3.71 avg rating — 7 ratings — published 2011 — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science, Series Number 56) by Alan Bundy, David Basin, Dieter Hutter 3.50 avg rating — 2 ratings — published 2004 — 6 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2758) 0.00 avg rating — 0 ratings — published 2003 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Principles of Security and Trust: Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of ... (Lecture Notes in Computer Science, 7796) by David Basin (Editor), John C. Mitchell (Editor) 0.00 avg rating — 0 ratings — published 2013 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Labelled Deduction by David Basin (Editor), M D'Agostino (Editor), Dov M. Gabbay (Editor) 0.00 avg rating — 0 ratings — published 2000 — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	[(Applied Information Security )] [Author: David Basin] [Nov-2011] 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	[(Labelled Deduction )] [Author: David Basin] [May-2000] 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Modeling and Analyzing Security Protocols with Tamarin: A Comprehensive Guide by David Basin, Cas Cremers, Jannik Dreier 0.00 avg rating — 0 ratings — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	(Applied Information Security: A Hands-on Approach) [By: Basin, David] [Oct, 2011] by David Basin, Unknown Author 0.00 avg rating — 0 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	The Complete Guide to SCION: From Design Principles to Formal Verification by Laurent Chuat, Markus Legner, David Basin 0.00 avg rating — 0 ratings — 5 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

More books by David Basin…

Is this you? Let us know. If not, help out and invite David to Goodreads.