1.

By: Dieter Geissbühler, Heinz Wirz, Roman Hutter

No Review Yet

AED159

Binding:	Paperback
Release:	22 Dec 2022
Language:	English

International Edition

Ships within 22-24 Days Explain..

2.

Mechanizing Mathematical Reasoning

By: Werner Stephan, Dieter Hutter

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

No Review Yet

AED353

Binding:	Paperback
Release:	23 Feb 2005
Language:	English

Available

Ships within 14-16 Days Explain..

3.

Security in Pervasive Computing

By: Markus Ullmann, Dieter Hutter

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

No Review Yet

AED197

Binding:	Paperback
Release:	30 Mar 2005
Language:	English

Available

Ships within 14-16 Days Explain..

4.

Applied Formal Methods - FM-Trends 98

By: Werner Stephan, Markus Ullmann, Paolo Traverso, Dieter Hutter

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

No Review Yet

AED277

Binding:	Paperback
Release:	25 Aug 1999
Language:	English

International Edition

Ships within 10-12 Days Explain..

5.

Rippling: Meta-Level Guidance for Mathematical Reasoning

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

Publisher: Cambridge University Press

No Review Yet

AED623

Binding:	Hardback
Release:	30 Jun 2005
Language:	English

International Edition

Ships within 10-12 Days Explain..

6.

Mechanizing Mathematical Reasoning

By: Dieter Hutter

Publisher: Springer Verlag Berlin Heidelberg

No Review Yet

AED0

Binding:	Digital (delivered electronically)
Release:	01 Jan 2005
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

7.

Rippling: Meta-Level Guidance for Mathematical Reasoning

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

Publisher: Cambridge University Press

No Review Yet

AED0

Binding:	Digital download and online
Release:	01 Sep 2005
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

8.

Security in Pervasive Computing

By: Dieter Hutter

Publisher: Springer

No Review Yet

AED201

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

Out of Stock

Notify me when this book is in stockNotify Me

9.

Ecumenical Ventures in Ethics

By: Theodor Dieter, Reinhard Hutter

Publisher: William B Eerdmans Publishing Co

No Review Yet

AED80

Binding:	Paperback
Release:	01 Nov 1997
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

10.

Mechanizing Mathematical Reasoning

By: Werner Stephan, Dieter Hutter

Publisher: Springer

No Review Yet

AED75

Binding:	Paperback
Release:	04 Sep 2008

Out of Stock

Notify me when this book is in stockNotify Me

11.

Security in Pervasive Computing

By: Markus Ullmann, Dieter Hutter

Publisher: Springer

No Review Yet

AED36

Binding:	Paperback
Release:	04 Sep 2008

Out of Stock

Notify me when this book is in stockNotify Me

12.

Security in Pervasive Computing

By: Werner Stephan, Markus Ullmann, Dieter Hutter, Günter Müller

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

No Review Yet

AED195

Binding:	Paperback
Release:	26 Jan 2004
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

13.

Applied Formal Methods FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7-9, 1998 Proceedings. Lecture Notes in Computer Science

By: Werner Stephan, Markus Ullmann, Dieter Hutter, Paolo Traverse

Publisher: Springer

No Review Yet

AED306

Binding:	Graphic Novel
Release:	01 Jan 1999

Out of Stock

Notify me when this book is in stockNotify Me

14.

Applied Formal Methods - FM-Trends 98

By: Werner Stephan, Paolo Traverso, Dieter Hutter

Publisher: Springer

No Review Yet

AED30

Binding:	Paperback
Release:	15 Jan 2014

Out of Stock

Notify me when this book is in stockNotify Me

15.

Security in Pervasive Computing

By: Werner Stephan, Gunter Muller, Dieter Hutter

Publisher: Springer

No Review Yet

AED51

Binding:	Paperback
Release:	15 Jan 2014

Out of Stock

Notify me when this book is in stockNotify Me

16.

Rippling: Meta-Level Guidance for Mathematical Reasoning

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

Publisher: Cambridge University Press

No Review Yet

AED471

Binding:	Digital download and online
Release:	13 Aug 2009
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

17.

Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56

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

Publisher: Cambridge University Press

No Review Yet

AED429

Binding:	Undefined
Release:	01 Jan 2005

Out of Stock

Notify me when this book is in stockNotify Me

18.

Applied Formal Methods

By: Werner Stephan, Markus Ullmann, Paolo Traverso, Dieter Hutter

Publisher: Springer

3.9

(8)

AED276

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

Out of Stock

Notify me when this book is in stockNotify Me

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter