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 Delivery20 - 22 Sep
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 Delivery24 Sep - 3 Oct
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

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