Automata Theory : An Algorithmic Approach
Javier Esparza
In Stock - usually despatched within 24 hours
Format: Book (Hardback)
Unfoldings : A Partial-order Approach to Model Checking
Javier Esparza
Item not Available
Format: Book (Hardback)
£99.99
£80.85
Item not Available
Book (Hardback)
Unfoldings : A Partial-Order Approach to Model Checking
Javier Esparza
Download - Immediately Available
Format: eBook (PDF)
Unfoldings : A Partial-Order Approach to Model Checking
Javier Esparza
Item not Available
Format: Book (Paperback / softback)
£101.00
£87.99
Item not Available
Book (Paperback / softback)