Humburger Icon
Logo1
close menu
Bookswagon-24x7 online bookstore
close menu
My Account
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
Bookswagon icon Menu
Close

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter By Category
Frank S. de Boer

Frank S. de Boer

23 results found
List viewGrid view
Sort By:
1.
Verification of Sequential and Concurrent Programs37 %
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
₹8,919
₹5,619
Binding:
Paperback
Release:
14 Mar 2012
Language:
English
Available
Ships within 14-16 Days Explain..
2.
Formal Methods for Components and Objects36 %
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
₹5,574
₹3,567
Binding:
Paperback
Release:
09 Oct 2003
Language:
English
Available
Ships within 14-16 Days Explain..
3.
Theoretical Computer Science36 %
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
₹5,574
₹3,567
Binding:
Paperback
Release:
18 Aug 2012
Language:
English
Available
Ships within 14-16 Days Explain..
4.
Formal Methods for Components and Objects36 %
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
₹5,129
₹3,283
Binding:
Paperback
Release:
26 Aug 2013
Language:
English
Available
Ships within 14-16 Days Explain..
5.
Formal Methods for Components and Objects36 %
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
₹5,574
₹3,567
Binding:
Paperback
Release:
19 Sep 2005
Language:
English
Available
Ships within 14-16 Days Explain..
6.
Formal Methods for Components and Objects36 %
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
₹5,574
₹3,567
Binding:
Paperback
Release:
18 Dec 2007
Language:
English
Available
Ships within 14-16 Days Explain..
7.
Formal Methods for Components and Objects36 %
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
₹5,574
₹3,567
Binding:
Paperback
Release:
10 Aug 2006
Language:
English
Available
Ships within 14-16 Days Explain..
8.
Verification of Sequential and Concurrent Programs37 %
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
₹11,149
₹7,024
Binding:
Hardback
Release:
05 Oct 2009
Language:
English
Available
Ships within 14-16 Days Explain..
9.
Formal Methods for Components and Objects36 %
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
₹5,574
₹3,567
Binding:
Paperback
Release:
03 Jan 2013
Language:
English
Available
Ships within 14-16 Days Explain..
10.
Formal Methods for Components and ObjectsNR
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
₹5,523
Binding:
Paperback
Release:
12 Dec 2011
Language:
English
International Edition
Ships within 16-18 Days Explain..
Free Shipping in India and low cost Worldwide.
11.
Formal Methods for Components and ObjectsPOD/NR
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
₹5,629
Binding:
Paperback
Release:
27 Oct 2004
Language:
English
International Edition
Ships within 16-18 Days Explain..
Free Shipping in India and low cost Worldwide.
Print On Demand
Print On Demand (POD) titles : are those which have been especially printed by the Publisher / Vendor partner only after an order for them has been received. They are also classified as Non-Returnable.
Non-Returnable titles : are those which have been classified as Non-Returnable under any circumstance by International Publishers / Vendor partners.
12.
Formal Methods for Components and ObjectsNR
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
₹5,498
Binding:
Paperback
Release:
04 Jan 2011
Language:
English
International Edition
Ships within 16-18 Days Explain..
Free Shipping in India and low cost Worldwide.
13.
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
By: Frank S de Boer, 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), Ernst-R Diger Olderog (Carl V. Ossietzky Universit??t Oldenburg, Germany)
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
01 Sep 2009
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
14.
Formal Methods for Components and Objects
Formal Methods for Components and Objects
By: Frank S. de Boer
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,863
Binding:
Digital (delivered electronically)
Release:
/12/2004
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
15.
Formal Methods for Components and Objects
Formal Methods for Components and Objects
By: Susanne Graf, Frank S de Boer, Marcello M Bonsangue
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
16 Mar 2009
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
16.
Formal Methods for Components and Objects
Formal Methods for Components and Objects
By: Susanne Graf, Frank S de Boer, Marcello M Bonsangue
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
26 Aug 2008
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
17.
Formal Methods for Components and Objects
Formal Methods for Components and Objects
By: Susanne Graf, Frank S de Boer, Marcello M Bonsangue
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
31 Aug 2008
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
18.
Formal Methods for Open Object-Based Distributed Systems
Formal Methods for Open Object-Based Distributed Systems
By: Gilles Barthe, Frank S de Boer
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
04 Sep 2008
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
19.
Formal Methods for Components and Objects
Formal Methods for Components and Objects
By: Eric Madelaine, Frank S de Boer, Marcello M Bonsangue
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
22 Aug 2009
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
20.
Formal Methods for Components and Objects
Formal Methods for Components and Objects
By: Susanne Graf, Frank S de Boer, Marcello M Bonsangue
Publisher: Springer
No Review Yet
₹2,201
Binding:
Paperback
Release:
04 Sep 2008
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
loadingLoading more results
ASK VIDYA