Books by David Basin

David Basin
Average rating 3.67 · 9 ratings · 0 reviews · shelved 44 times

Showing 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, Andrew Ireland 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) by David Basin (Editor) 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] by David Basin 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] by David Basin 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, Ralf Sasse 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, David Hausheer 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

* Note: these are all the books on Goodreads for this author. To add more books, click here.