CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 12 of 12 Results
1.
Temporal Logic of Reactive and Concurrent Systems Specification
Temporal Logic of Reactive and Concurrent Systems Specification by Manna, Zohar, Pnueli, Amir ISBN: 9780387976648 List Price: $169.00
$76.03 (Save 55%)
2.
Temporal Verification of Reactive Systems Safety
Temporal Verification of Reactive Systems Safety by Manna, Zohar, Pnueli, Amir ISBN: 9780387944593 List Price: $160.00
$70.13 (Save 56%)
3.
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PS...
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%)
4.
Hybrid Systems Computation and Control 6th International Workshop, Hscc 2003, Prague, Czech...
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%)
5.
Temporal Logic in Specification
Temporal Logic in Specification by Banieqbal, Behnam, Barringe... ISBN: 9783540518037 List Price: $85.00
$52.33 (Save 38%)
6.
Temporal Logic of Reactive and Concurrent Systems : Specification
Temporal Logic of Reactive and Concurrent Systems : Specification by Manna, Zohar, Pnueli, Amir ISBN: 9781461269502 List Price: $169.00
$51.31 (Save 69%)
7.
Temporal Verification of Reactive Systems: Safety
Temporal Verification of Reactive Systems: Safety by Zohar Manna, Amir Pnueli ISBN: 9781461287018 List Price: $160.00
$110.19 (Save 31%)
8.
Temporal Logic of Reactive and Concurrent Systems
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
9.
Compositionality : The Significant Difference
Compositionality : The Significant Difference by Roever, Willem-Paul de, Lan... ISBN: 9783662193129 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
10.
Temporal Verification of Reactive Systems
Temporal Verification of Reactive Systems by Manna, Zohar, Pnueli, Amir ISBN: 9781461242239 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
11.
Temporal Logic in Specification
Temporal Logic in Specification by Banieqbal, Behnam, Barringe... ISBN: 9783662198063 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
12.
Hybrid Systems : Computation and Control
Hybrid Systems : Computation and Control by Wiedijk, Freek, Maler, Oded... ISBN: 9783662206065 List Price: $24.99

OUT OF STOCK

See Availability on Amazon