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 Delivery27 Nov - 6 Dec
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 Delivery26 - 27 Nov
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 Delivery26 - 27 Nov
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 Delivery27 Nov - 6 Dec
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.