Javier Esparza
Unfoldings: A Partial-Order Approach to Model Checking
By
Javier Esparza
,
Keijo Heljanko
Paperback
AED
521
46
AEDĀ 879.00
40% OFF
Turbo
Free Delivery
26 - 27 Nov
Unfoldings: A Partial-Order Approach to Model Checking (2008)
By
Javier Esparza
,
Keijo Heljanko
Hardcover
AED
524
34
AEDĀ 856.00
38% OFF
Free Delivery
29 Nov - 9 Dec
Automata Theory: An Algorithmic Approach
By
Javier Esparza
,
Michael Blondin
Hardcover
Temporarily out of stock