Buy books written by David Basin Available at Bookswagon

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

David Basin

25 results found

Sort By:

Applied Information Security

By: David Basin, Patrick Schaller, Michael Schläpfer

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED228

Binding:	Hardback
Release:	28 Oct 2011
Language:	English

Available

Ships within 12-14 Days Explain..

Labelled Deduction

By: M. D'Agostino, Luca Viganò, Dov M. Gabbay, David Basin, Seán Matthews

Publisher: Springer

No Review Yet

AED506

Binding:	Paperback
Release:	08 Oct 2012
Language:	English

Available

Ships within 12-14 Days Explain..

David Taylor Report

By: Us Experimental Model Basin, David W Taylor Model Basin

Publisher: Hutson Street Press

No Review Yet

AED132

Binding:	Hardback
Release:	22 May 2025
Language:	English

International Edition

Ships within 14-16 Days Explain..

David Taylor Report

By: Us Experimental Model Basin, David W Taylor Model Basin

Publisher: Hutson Street Press

No Review Yet

AED76

Binding:	Paperback
Release:	22 May 2025
Language:	English

International Edition

Ships within 14-16 Days Explain..

Modeling and Analyzing Security Protocols with Tamarin

By: Cas Cremers, David Basin, Ralf Sasse, Jannik Dreier

Publisher: Springer International Publishing AG

No Review Yet

AED288

Binding:	Hardback
Release:	28 Jul 2025
Language:	English

International Edition

Ships within 28-30 Days Explain..

Theorem Proving in Higher Order Logics

By: Burkhart Wolff, David Basin

Publisher: Springer

No Review Yet

AED240

Binding:	Paperback
Release:	15 Jan 2014

International Edition

Ships within 14-16 Days Explain..

The Complete Guide to SCION

By: David Hausheer, Peter Müller, David Basin, Adrian Perrig , Laurent Chuat

Publisher: Springer International Publishing AG

No Review Yet

AED435

Binding:	Paperback
Release:	18 May 2023
Language:	English

International Edition

Ships within 14-16 Days Explain..

The Complete Guide to SCION

By: David Hausheer, Peter Müller, David Basin, Adrian Perrig , Laurent Chuat

Publisher: Springer International Publishing AG

No Review Yet

AED624

Binding:	Hardback
Release:	17 May 2022
Language:	English

International Edition

Ships within 14-16 Days Explain..

Principles of Security and Trust

By: David Basin, John C. Mitchell

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED253

Binding:	Paperback
Release:	20 Feb 2013
Language:	English

Available

Ships within 12-14 Days Explain..

10.

Applied Information Security

By: David Basin, Patrick Schaller, Michael Schläpfer

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED228

Binding:	Paperback
Release:	29 Nov 2013
Language:	English

Available

Ships within 12-14 Days Explain..

11.

David Taylor Report

By: Us Experimental Model Basin, Naval Ship Research and Development Cent, David W Taylor Model Basin

Publisher: Palala Press

No Review Yet

AED135

Binding:	Hardback
Release:	09 Sep 2015
Language:	English

International Edition

Ships within 12-14 Days Explain..

12.

Theorem Proving in Higher Order Logics

By: Burkhart Wolff, David Basin

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED179

Binding:	Paperback
Release:	21 Aug 2003
Language:	English

Available

Ships within 12-14 Days Explain..

13.

Automated Reasoning

By: Michael Rusinowitch, David Basin

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED504

Binding:	Paperback
Release:	22 Jun 2004
Language:	English

International Edition

Ships within 12-14 Days Explain..

14.

Rippling: Meta-Level Guidance for Mathematical Reasoning

By: Alan Bundy, Andrew Ireland, David Basin, Dieter Hutter

Publisher: Cambridge University Press

No Review Yet

AED284

Binding:	Hardback
Release:	30 Jun 2005
Language:	English

Available

Ships within 1-2 Days Explain..

15.

Labelled Deduction

By: M. D'Agostino, Luca Viganò, Dov M. Gabbay, David Basin, Seán Matthews

Publisher: Kluwer Academic Publishers

No Review Yet

AED506

Binding:	Hardback
Release:	30 Apr 2000
Language:	English

Available

Ships within 12-14 Days Explain..

16.

Labelled Deduction

By: David Basin, Dov M Gabbay, M D'Agostino

Publisher: Springer My Copy UK

No Review Yet

AED105

Binding:	Paperback
Release:	30 Apr 2000

Out of Stock

Notify me when this book is in stockNotify Me

17.

Theorem Proving in Higher Order Logics

By: David Basin

Publisher: Springer

No Review Yet

AED263

Binding:	Digital (delivered electronically)
Release:	01 Sep 2006
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

18.

Automated Reasoning

By: David Basin

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED365

Binding:	Digital (delivered electronically)
Release:	/12/2004
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

19.

David Taylor Report

By: Us Experimental Model Basin, Naval Ship Research and Development Cent, David W Taylor Model Basin

Publisher: Nabu Press

No Review Yet

AED64

Binding:	Paperback
Release:	21 Aug 2011
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

Loading more results