Unfoldings: A Partial-Order Approach to Model Checking
Unfoldings: A Partial-Order Approach to Model Checking
By Javier Esparza, Keijo Heljanko
Paperback
AED
521
46
AED 879.00
40% OFF
Turbo
Free Delivery16 - 18 Nov
Unfoldings: A Partial-Order Approach to Model Checking (2008)
Unfoldings: A Partial-Order Approach to Model Checking (2008)
By Javier Esparza, Keijo Heljanko
Hardcover
AED
524
34
AED 856.00
38% OFF
Free Delivery18 - 27 Nov
Automata Theory: An Algorithmic Approach
Automata Theory: An Algorithmic Approach
By Javier Esparza, Michael Blondin
Hardcover
Temporarily out of stock
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.