The Temporal Logic of Reactive and Concurrent Systems: Specification (1992)
The Temporal Logic of Reactive and Concurrent Systems: Specification (1992)
By Zohar Manna, Amir Pnueli
Hardcover
(2)
AED
588
09
AED 987.00
40% OFF
Free Delivery25 Sep - 4 Oct
The Calculus of Computation: Decision Procedures with Applications to Verification
The Calculus of Computation: Decision Procedures with Applications to Verification
By Aaron R Bradley, Zohar Manna
Paperback
AED
238
88
AED 427.00
44% OFF
Turbo
Free Delivery21 - 23 Sep
The Calculus of Computation: Decision Procedures with Applications to Verification (2007)
The Calculus of Computation: Decision Procedures with Applications to Verification (2007)
By Aaron R Bradley, Zohar Manna
Hardcover
AED
396
31
AED 818.00
51% OFF
Free Delivery25 Sep - 4 Oct
Temporal Verification of Reactive Systems: Safety (1995)
Temporal Verification of Reactive Systems: Safety (1995)
By Zohar Manna, Amir Pnueli
Paperback
(2)
AED
531
51
AED 930.00
42% OFF
Turbo
Free Delivery23 - 24 Sep
The Temporal Logic of Reactive and Concurrent Systems: Specification (Softcover Reprint of the Original 1st 1992)
The Temporal Logic of Reactive and Concurrent Systems: Specification (Softcover Reprint of the Original 1st 1992)
By Zohar Manna, Amir Pnueli
Paperback
(2)
AED
282
13
AED 654.00
56% OFF
Turbo
Free Delivery23 - 24 Sep
Temporal Verification of Reactive Systems: Safety (1995)
Temporal Verification of Reactive Systems: Safety (1995)
By Zohar Manna, Amir Pnueli
Hardcover
(2)
AED
548
27
AED 955.00
42% OFF
Free Delivery25 Sep - 4 Oct
Need Help?
+971 6 731 0280
support@gzb.ae
About UsContact UsPayment MethodsFAQsShipping PolicyRefund and ReturnTerms of UsePrivacy PolicyCookie Notice
VisaMastercardCash on Delivery

© 2024 White Lion General Trading LLC. All rights reserved.