Buy books written by Frank S. de Boer Available at Bookswagon

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Frank S. de Boer

24 results found

Sort By:

Theoretical Computer Science

By: Tom Ball, Frank S. de Boer, Jos C.M. Baeten

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

No Review Yet

AED253

Binding:	Paperback
Release:	18 Aug 2012
Language:	English

Available

Ships within 12-14 Days Explain..

Formal Methods for Components and Objects

By: Marcello M. Bonsangue, Elena Giachino, Frank S. de Boer, Reiner Hähnle

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

No Review Yet

AED177

Binding:	Paperback
Release:	26 Aug 2013
Language:	English

Available

Ships within 2-4 Days Explain..

Formal Methods for Components and Objects

By: Bernhard K. Aichernig, Marcello M. Bonsangue, Frank S. de Boer

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

No Review Yet

AED261

Binding:	Paperback
Release:	12 Dec 2011
Language:	English

International Edition

Ships within 12-14 Days Explain..

Formal Methods for Components and Objects

By: Marcello Bonsangue, Susanne Graf, Willem-Paul De Roever, Frank S.de Boer

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

No Review Yet

AED253

Binding:	Paperback
Release:	09 Oct 2003
Language:	English

Available

Ships within 12-14 Days Explain..

Formal Methods for Components and Objects

By: Marcello M. Bonsangue, Susanne Graf, Willem-Paul De Roever, Frank S. de Boer

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

No Review Yet

AED253

Binding:	Paperback
Release:	10 Aug 2006
Language:	English

Available

Ships within 12-14 Days Explain..

Formal Methods for Components and Objects

By: Marcello M. Bonsangue, Susanne Graf, Willem-Paul De Roever, Frank S. de Boer

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

No Review Yet

AED272

Binding:	Paperback
Release:	27 Oct 2004
Language:	English

International Edition

Ships within 16-18 Days Explain..

Formal Methods for Components and Objects

By: Marcello M. Bonsangue, Susanne Graf, Willem-Paul De Roever, Frank S. de Boer

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

No Review Yet

AED253

Binding:	Paperback
Release:	19 Sep 2005
Language:	English

Available

Ships within 12-14 Days Explain..

Formal Methods for Components and Objects

By: Marcello M. Bonsangue, Susanne Graf, Willem-Paul De Roever, Frank S. de Boer

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

No Review Yet

AED253

Binding:	Paperback
Release:	18 Dec 2007
Language:	English

Available

Ships within 12-14 Days Explain..

Formal Methods for Components and Objects

By: Marcello M. Bonsangue, Michael Leuschel, Stefan Hallerstede, Frank S. de Boer

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

No Review Yet

AED260

Binding:	Paperback
Release:	04 Jan 2011
Language:	English

International Edition

Ships within 12-14 Days Explain..

10.

Verification of Sequential and Concurrent Programs

By: Ernst-Rüdiger Olderog, Amir Pnueli, Krzysztof R. Apt, Frank S. de Boer

Publisher: Springer London Ltd

No Review Yet

AED341

Binding:	Hardback
Release:	05 Oct 2009
Language:	English

Available

Ships within 12-14 Days Explain..

11.

Formal Methods for Components and Objects

By: Marcello M. Bonsangue, Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer

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

No Review Yet

AED253

Binding:	Paperback
Release:	03 Jan 2013
Language:	English

Available

Ships within 12-14 Days Explain..

12.

Verification of Sequential and Concurrent Programs

By: Ernst-Rüdiger Olderog, Amir Pnueli, Krzysztof R. Apt, Frank S. de Boer

Publisher: Springer London Ltd

No Review Yet

AED405

Binding:	Paperback
Release:	14 Mar 2012
Language:	English

Available

Ships within 12-14 Days Explain..

13.

Formal Methods for Components and Objects

By: Frank S. de Boer

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

No Review Yet

AED280

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

Out of Stock

Notify me when this book is in stockNotify Me

14.

Verification of Sequential and Concurrent Programs

By: Frank S de Boer, Ernst-R Diger Olderog (Carl V. Ossietzky Universit??t Oldenburg, Germany), Krzysztof R Apt (Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam Universiteit van Amsterdam Universiteit van Amsterdam Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam Universiteit van Amsterdam Universiteit van Amsterdam)

Publisher: Springer

No Review Yet

AED105

Binding:	Paperback
Release:	01 Sep 2009

Out of Stock

Notify me when this book is in stockNotify Me

15.

Formal Methods for Open Object-Based Distributed Systems

By: Gilles Barthe, Frank S de Boer

Publisher: Springer

No Review Yet

AED85

Binding:	Paperback
Release:	04 Sep 2008

Out of Stock

Notify me when this book is in stockNotify Me

16.

Formal Methods for Components and Objects

By: Susanne Graf, Frank S de Boer, Marcello M Bonsangue

Publisher: Springer

No Review Yet

AED105

Binding:	Paperback
Release:	31 Aug 2008

Out of Stock

Notify me when this book is in stockNotify Me

17.

Formal Methods for Components and Objects

By: Eric Madelaine, Frank S de Boer, Marcello M Bonsangue

Publisher: Springer

No Review Yet

AED105

Binding:	Paperback
Release:	22 Aug 2009

Out of Stock

Notify me when this book is in stockNotify Me

18.

Formal Methods for Components and Objects

By: Susanne Graf, Frank S de Boer, Marcello M Bonsangue

Publisher: Springer

No Review Yet

AED105

Binding:	Paperback
Release:	16 Mar 2009

Out of Stock

Notify me when this book is in stockNotify Me

19.

Formal Methods for Components and Objects

By: Stefan Hallerstede, Frank S de Boer, Marcello M Bonsangue

Publisher: Springer

No Review Yet

AED105

Binding:	Paperback
Release:	13 Mar 2011

Out of Stock

Notify me when this book is in stockNotify Me

20.

Formal Methods for Components and Objects

By: Elena Giachino, Frank S de Boer, Doctor Reiner Hahnle (University of Karlsruhe, 7500 Karlsruhe)

Publisher: Springer

No Review Yet

AED105

Binding:	Paperback
Release:	16 Aug 2013

Out of Stock

Notify me when this book is in stockNotify Me

Loading more results