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
A Pnueli

A Pnueli

20 results found
List viewGrid view
Sort By:
1.
Fluid Mechanics31 %
Fluid Mechanics
By: Pnueli
Publisher: Cambridge University Press India
No Review Yet
₹850
₹587
Binding:
Paperback
Release:
2010
Language:
English
Available
Ships within 2-4 Days Explain..
2.
Compositionality: The Significant Difference37 %
Compositionality: The Significant Difference
By: Hans Langmaack, A. Pnueli, Willem-Paul De Roever, Amir Pnueli
Publisher: Springer
No Review Yet
₹9,600
₹6,048
Binding:
Paperback
Release:
18 Dec 1998
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Temporal Verification of Reactive Systems37 %
Temporal Verification of Reactive Systems
By: Zohar Manna, Amir Pnueli
Publisher: Springer
No Review Yet
₹10,560
₹6,653
Binding:
Paperback
Release:
22 Aug 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.
Temporal Logic of Reactive and Concurrent Systems37 %
Temporal Logic of Reactive and Concurrent Systems
By: Zohar Manna, Amir Pnueli
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
17 Oct 2012
Language:
English
Available
Ships within 12-14 Days Explain..
6.
Temporal Verification of Reactive Systems48 %
Temporal Verification of Reactive Systems
By: Zohar Manna, Amir Pnueli
Publisher: Springer
No Review Yet
₹9,370
₹4,872
Binding:
Hardback
Release:
04 Aug 1995
Language:
English
Available
Ships within 1-2 Days Explain..
7.
Temporal Logic of Reactive and Concurrent Systems48 %
Temporal Logic of Reactive and Concurrent Systems
By: Zohar Manna, Amir Pnueli
Publisher: Springer
No Review Yet
₹10,307
₹5,360
Binding:
Hardback
Release:
18 Dec 1991
Language:
English
Available
Ships within 1-2 Days Explain..
8.
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..
9.
Temporal Logic in Specification37 %
Temporal Logic in Specification
By: H. Barringer, Behnam Banieqbal, Amir Pnueli, Howard Barringer
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
11 Oct 1989
Language:
English
Available
Ships within 12-14 Days Explain..
10.
Perspectives of Systems Informatics37 %
Perspectives of Systems Informatics
By: Andrei Voronkov, Irina Virbitskaite, Andrei (EDT) Voronkov, Amir (EDT) Pnueli, Irina (EDT) Virbitskaite
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
01 May 2010
Language:
English
Available
Ships within 12-14 Days Explain..
11.
Two Approaches to Interprocedural Data Flow Analysis12 % NR
Two Approaches to Interprocedural Data Flow Analysis
By: Micha Sharir, A Pnueli
Publisher: Creative Media Partners, LLC
No Review Yet
₹2,631
₹2,315
Binding:
Hardback
Release:
18 Jul 2023
Language:
English
International Edition
Ships within 14-16 Days Explain..
Free Shipping in India and low cost Worldwide.
12.
Two Approaches to Interprocedural Data Flow Analysis18 % NR
Two Approaches to Interprocedural Data Flow Analysis
By: Micha Sharir, A Pnueli
Publisher: Creative Media Partners, LLC
No Review Yet
₹1,526
₹1,251
Binding:
Paperback
Release:
18 Jul 2023
Language:
English
International Edition
Ships within 14-16 Days Explain..
Free Shipping in India and low cost Worldwide.
13.
Fluid Mechanics19 % POD/NR
Fluid Mechanics
By: David Pnueli, Chaim Gutfinger, Chaim (Technion - Israel Institute of Technology, Haifa) Gutfinger, David (Technion - Israel Institute of Technology, Haifa) Pnueli
Publisher: Cambridge University Press
No Review Yet
₹8,131
₹6,586
Binding:
Paperback
Release:
13 Jan 1997
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.
14.
Hybrid Systems: Computation and Control11 % POD/NR
Hybrid Systems: Computation and Control
By: Oded Maler, Freek Wiedijk, Amir Pnueli
Publisher: Springer
No Review Yet
₹10,742
₹9,560
Binding:
Paperback
Release:
18 Mar 2003
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.
15.
Metasoft Primer19 % POD/NR
Metasoft Primer
By: D. Gries, W. Brauer, G. Seegmuller, Amir Pnueli, Josef Stoer
Publisher: Springer
No Review Yet
₹5,858
₹4,745
Binding:
Paperback
Release:
25 Nov 1987
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.
16.
Two Approaches to Interprocedural Data Flow Analysis
Two Approaches to Interprocedural Data Flow Analysis
By: Micha Sharir, A Pnueli
Publisher: Palala Press
No Review Yet
₹1,318
Binding:
Hardback
Release:
10 Sep 2015
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
17.
Two Approaches to Interprocedural Data Flow Analysis20 % NR
Two Approaches to Interprocedural Data Flow Analysis
By: Micha Sharir, A Pnueli
Publisher: Creative Media Partners, LLC
No Review Yet
₹1,508
₹1,206
Binding:
Paperback
Release:
20 Feb 2018
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
18.
Fluid Mechanics6 % NR
Fluid Mechanics
By: David Pnueli, Chaim Gutfinger, Pnueli David Pnueli, Gutfinger Chaim Gutfinger
Publisher: Cambridge University Press
No Review Yet
₹9,025
₹8,458
Binding:
Hardback
Release:
27 Nov 1992
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
19.
Two Approaches to Interprocedural Data Flow Analysis24 % NR
Two Approaches to Interprocedural Data Flow Analysis
By: A. Pnueli
Publisher: Nabu Press
No Review Yet
₹1,827
₹1,389
Binding:
Paperback
Release:
14 Sep 2011
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
20.
Fluid Mechanics2 % NR
Fluid Mechanics
By: David Pnueli, Chaim Gutfinger
Publisher: Cambridge University Press
No Review Yet
₹36,000
₹35,164
Binding:
Digital (delivered electronically)
Release:
05 Jun 2012
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found