Humburger Icon
Logo1
Login & Sign up
Bookswagon-24x7 online bookstore
AddBanner
Home icon Home
Account Icon Account
Wishlist Icon Wishlist
Cart Icon Cart
Bookswagon icon Categories
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

14 results found
List viewGrid view
Sort By:
1.
Formal Methods for Components and Objects48 %
Formal Methods for Components and Objects
By: Marcello M. Bonsangue, Susanne Graf, Willem-Paul De Roever, Frank S. de Boer, Frank S de Boer
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹4,755
₹2,473
Binding:
Paperback
Release:
18 Dec 2007
Language:
English
Available
Ships within 1-2 Days Explain..
2.
Formal Methods for Components and Objects37 %
Formal Methods for Components and Objects
By: Susanne Graf, Willem-Paul De Roever, Frank S de Boer, Marcello M Bonsangue
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
01 Sep 2006
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Verification of Sequential and Concurrent Programs37 %
Verification of Sequential and Concurrent Programs
By: Ernst-Rüdiger Olderog, Amir Pnueli, Ernst-Rudiger Olderog, Krzysztof R. Apt, Frank S. de Boer
Publisher: Springer
No Review Yet
₹7,680
₹4,838
Binding:
Paperback
Release:
14 Mar 2012
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Verification of Sequential and Concurrent Programs37 %
Verification of Sequential and Concurrent Programs
By: Ernst-Rüdiger Olderog, Amir Pnueli, Ernst-Rudiger Olderog, Krzysztof R. Apt, Frank S. de Boer
Publisher: Springer
No Review Yet
₹9,600
₹6,048
Binding:
Hardback
Release:
01 Oct 2009
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Formal Methods for Components and Objects37 %
Formal Methods for Components and Objects
By: Marcello M. Bonsangue, Susanne Graf, Willem-Paul De Roever, Frank S. de Boer, Marcello M. (Leiden University) Bonsangue
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
01 Oct 2005
Language:
English
Available
Ships within 12-14 Days Explain..
6.
Formal Methods for Components and Objects37 %
Formal Methods for Components and Objects
By: Marcello Bonsangue, Susanne Graf, Willem-Paul De Roever, Frank S de Boer
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
09 Oct 2003
Language:
English
Available
Ships within 12-14 Days Explain..
7.
Formal Methods for Components and Objects37 %
Formal Methods for Components and Objects
By: Marcello M. Bonsangue, Elena Giachino, Reiner Hahnle, Frank S. de Boer, Marcello M. (Leiden University) Bonsangue
Publisher: Springer
No Review Yet
₹4,416
₹2,782
Binding:
Paperback
Release:
26 Aug 2013
Language:
English
Available
Ships within 12-14 Days Explain..
8.
Theoretical Computer Science37 %
Theoretical Computer Science
By: Jos C. M. Baeten, Tom Ball, Frank S de Boer, Jos C M Baeten
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
18 Aug 2012
Language:
English
Available
Ships within 12-14 Days Explain..
9.
Formal Methods for Components and Objects37 %
Formal Methods for Components and Objects
By: Marcello M. Bonsangue, Bernhard Beckert, Ferruccio Damiani, Frank S. (EDT) De Boer, Marcello M. (EDT) Bonsangue
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
03 Jan 2013
Language:
English
Available
Ships within 12-14 Days Explain..
10.
Formal Methods for Components and Objects59 %
Formal Methods for Components and Objects
By: Marcello M. Bonsangue, Susanne Graf, Frank S. (EDT) De Boer, Marcello M. (EDT) Bonsangue, Susanne (EDT) Graf
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹6,657
₹2,729
Binding:
Paperback
Release:
01 Dec 2008
Language:
English
Available
Ships within 2-4 Days Explain..
11.
Formal Methods for Components and Objects29 % POD/NR
Formal Methods for Components and Objects
By: Marcello M. Bonsangue, Susanne Graf, Willem-Paul De Roever, Frank S. de Boer, Marcello M. (Leiden University) Bonsangue
Publisher: Springer
No Review Yet
₹6,835
₹4,853
Binding:
Paperback
Release:
01 Nov 2004
Language:
English
International Edition
Ships within 14-16 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: Bernhard K. Aichernig, Marcello M. Bonsangue, Frank S. de Boer, Marcello M. (Leiden University) Bonsangue, Bernhard K Aichernig
Publisher: Springer
No Review Yet
₹5,096
Binding:
Paperback
Release:
12 Dec 2011
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
13.
Formal Methods for Components and ObjectsNR
Formal Methods for Components and Objects
By: Marcello M. Bonsangue, Michael Leuschel, Stefan Hallerstede, Frank S. (EDT) De Boer, Marcello M. (EDT) Bonsangue
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹5,071
Binding:
Paperback
Release:
04 Jan 2011
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
14.
Theoretical Computer Science1 % NR
Theoretical Computer Science
By: Ball Tom Ball, de Boer Frank S. de Boer, Baeten Jos C.M. Baeten
Publisher: Springer Nature B.V.
No Review Yet
₹4,239
₹4,197
Binding:
Paperback
Release:
28 Sep 2012
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found