Pnueli A. | Buy Cheap Textbooks about Pnueli A.

1.

Temporal Logic of Reactive and Concurrent Systems Specification by Manna, Zohar, Pnueli, Amir ISBN: 9780387976648 List Price: $169.00

$79.84 (Save 52%)

2.

Temporal Verification of Reactive Systems Safety by Manna, Zohar, Pnueli, Amir ISBN: 9780387944593 List Price: $160.00

$74.20 (Save 53%)

3.

Fluid Mechanics by Pnueli, David, Gutfinger, C... ISBN: 9780521587976 List Price: $84.00

$82.17 (Save 2%) Own it? Sell it back for $1.65

4.

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PS... by Pnueli, Amir, Virbitskaite,... ISBN: 9783642114854 List Price: $95.00

$52.33 (Save 44%)

5.

Temporal Logic of Reactive and Concurrent Systems : Specification by Manna, Zohar, Pnueli, Amir ISBN: 9781461269502 List Price: $169.00

$51.31 (Save 69%)

6.

Temporal Logic in Specification by Banieqbal, Behnam, Barringe... ISBN: 9783540518037 List Price: $85.00

$52.33 (Save 38%)

7.

Hybrid Systems Computation and Control 6th International Workshop, Hscc 2003, Prague, Czech... by Maler, Oded, Pnueli, Amir, ... ISBN: 9783540009139 List Price: $109.00

$103.17 (Save 5%)

8.

Logic and Software Engineering, International Workshop in Honor of Chih Sung Tang by Lin, H., Pnueli, A. ISBN: 9789810228040 List Price: $51.00

OUT OF STOCK

See Availability on Amazon

9.

Compositionality The Significant Difference International Symposium, Compos '97, Bad Malent... by De Roever, W. P., Langmaack... ISBN: 9783540654933 List Price: $108.00

$103.17 (Save 4%)

10.

Fluid Mechanics by David Pnueli, Chaim Gutfinger ISBN: 9780521417044 List Price: $130.00

OUT OF STOCK

See Availability on Amazon Own it? Sell it back for $1.65

11.

Two Approaches to Interprocedural Data Flow Analysis by Sharir, Micha, Pnueli, A. ISBN: 9781245547963 List Price: $21.75

OUT OF STOCK

See Availability on Amazon

12.

Fluid Mechanics Solutions manual by Pnueli, David, Gutfinger, C... ISBN: 9780521449052 List Price: $0.01

OUT OF STOCK

See Availability on Amazon

13.

Two Approaches to Interprocedural Data Flow Analysis by Sharir, Micha, Pnueli, A., ... ISBN: 9781342225580 List Price: $22.95

OUT OF STOCK

See Availability on Amazon

14.

Temporal Verification of Reactive Systems by Manna, Zohar, Pnueli, Amir ISBN: 9781461242239 List Price: $24.99

OUT OF STOCK

See Availability on Amazon

15.

Compositionality : The Significant Difference by Roever, Willem-Paul de, Lan... ISBN: 9783662193129 List Price: $24.99

OUT OF STOCK

See Availability on Amazon

16.

Temporal Logic in Specification by Banieqbal, Behnam, Barringe... ISBN: 9783662198063 List Price: $24.99

OUT OF STOCK

See Availability on Amazon

17.

Hybrid Systems : Computation and Control by Wiedijk, Freek, Maler, Oded... ISBN: 9783662206065 List Price: $24.99

OUT OF STOCK

See Availability on Amazon

18.

Temporal Logic of Reactive and Concurrent Systems by Manna, Zohar, Pnueli, Amir ISBN: 9781461209324 List Price: $24.99

OUT OF STOCK

See Availability on Amazon

19.

Temporal Verification of Reactive Systems: Safety by Zohar Manna, Amir Pnueli ISBN: 9781461287018 List Price: $160.00

$110.19 (Save 31%)

20.

Temporal Logic of Reactive+concurrent.. by Manna, Zohar, Pnueli, A. ISBN: 9783540976646 List Price: $69.95

OUT OF STOCK

See Availability on Amazon

21.

Two Approaches to Interprocedural Data Flow Analysis by Sharir, Micha, Pnueli, A. ISBN: 9781378241196 List Price: $12.95

OUT OF STOCK

See Availability on Amazon

22.

Two Approaches to Interprocedural Data Flow Analysis by Sharir, Micha, Pnueli, A. ISBN: 9781019588352

OUT OF STOCK

See Availability on Amazon

23.

Two Approaches to Interprocedural Data Flow Analysis by Sharir, Micha, Pnueli, A. ISBN: 9781021438553

OUT OF STOCK

See Availability on Amazon