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
16 - 18 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
18 - 27 Nov
Automata Theory: An Algorithmic Approach
By
Javier Esparza
,
Michael Blondin
Hardcover
Temporarily out of stock