a pnueli author - Books - 24x7 online bookstore Bookswagon.ae
15 results found
List viewGrid view
Sort By:
1.
Fluid Mechanics
By: Pnueli
No Review Yet
AED100
Binding:
Paperback
Release:
2010
Language:
English
Available
Ships within 10-12 Days Explain..
Free Shipping in UAE.
2.
Compositionality: The Significant Difference
Publisher: Springer
No Review Yet
AED882
Binding:
Paperback
Release:
18 Dec 1998
Language:
English
Available
Ships within 10-12 Days Explain..
Free Shipping in UAE.
3.
Temporal Verification of Reactive Systems
Publisher: Springer
No Review Yet
AED670
Binding:
Hardback
Release:
04 Aug 1995
Language:
English
Available
Ships within 9-10 Days Explain..
Free Shipping in UAE.
4.
The Temporal Logic of Reactive and Concurrent Systems
Publisher: Springer
No Review Yet
AED719
Binding:
Hardback
Release:
18 Dec 1991
Language:
English
Available
Ships within 9-10 Days Explain..
Free Shipping in UAE.
5.
Two Approaches to Interprocedural Data Flow Analysis
No Review Yet
AED180
Binding:
Paperback
Release:
18 Jul 2023
Language:
English
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
6.
Two Approaches to Interprocedural Data Flow Analysis
No Review Yet
AED292
Binding:
Hardback
Release:
18 Jul 2023
Language:
English
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
8.
Verification of Sequential and Concurrent Programs
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
9.
Temporal Verification of Reactive Systems
Publisher: Springer
No Review Yet
AED1,115
Binding:
Paperback
Release:
22 Aug 2012
Language:
English
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
11.
Temporal Logic in Specification
Publisher: Springer
No Review Yet
AED586
Binding:
Paperback
Release:
11 Oct 1989
Language:
English
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
13.
Perspectives of Systems Informatics
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
14.
Two Approaches to Interprocedural Data Flow Analysis
Publisher: Palala Press
No Review Yet
AED147
Binding:
Hardback
Release:
10 Sep 2015
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
15.
Two Approaches to Interprocedural Data Flow Analysis
No Review Yet
AED170
Binding:
Paperback
Release:
20 Feb 2018
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found