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

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

AED244

Binding:	Paperback
Release:	18 Aug 2012
Language:	English

Available

Ships within 14-16 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

AED162

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

AED279

Binding:	Paperback
Release:	12 Dec 2011
Language:	English

International Edition

Ships within 10-12 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

AED244

Binding:	Paperback
Release:	18 Dec 2007
Language:	English

Available

Ships within 14-16 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

AED282

Binding:	Paperback
Release:	27 Oct 2004
Language:	English

International Edition

Ships within 10-12 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

AED244

Binding:	Paperback
Release:	10 Aug 2006
Language:	English

Available

Ships within 14-16 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

AED244

Binding:	Paperback
Release:	09 Oct 2003
Language:	English

Available

Ships within 14-16 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

AED244

Binding:	Paperback
Release:	19 Sep 2005
Language:	English

Available

Ships within 14-16 Days Explain..

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

AED390

Binding:	Paperback
Release:	14 Mar 2012
Language:	English

Available

Ships within 14-16 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

AED487

Binding:	Hardback
Release:	05 Oct 2009
Language:	English

Available

Ships within 14-16 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

AED244

Binding:	Paperback
Release:	03 Jan 2013
Language:	English

Available

Ships within 14-16 Days Explain..

12.

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

AED277

Binding:	Paperback
Release:	04 Jan 2011
Language:	English

International Edition

Ships within 10-12 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

AED255

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

AED96

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

AED78

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: Stefan Hallerstede, Frank S de Boer, Marcello M Bonsangue

Publisher: Springer

No Review Yet

AED96

Binding:	Paperback
Release:	13 Mar 2011

Out of Stock

Notify me when this book is in stockNotify Me

17.

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

AED96

Binding:	Paperback
Release:	16 Aug 2013

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

AED96

Binding:	Paperback
Release:	26 Aug 2008

Out of Stock

Notify me when this book is in stockNotify Me

19.

Formal Methods for Components and Objects

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

Publisher: Springer

No Review Yet

AED96

Binding:	Paperback
Release:	31 Aug 2008

Out of Stock

Notify me when this book is in stockNotify Me

20.

Formal Methods for Components and Objects

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

Publisher: Springer

No Review Yet

AED96

Binding:	Paperback
Release:	22 Aug 2009

Out of Stock

Notify me when this book is in stockNotify Me

Loading more results

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter