Decision Procedures : An Algorithmic Point of View
Daniel Kroening
Out of stock
Format: Book (Hardback)
Decision Procedures : An Algorithmic Point of View
Daniel Kroening
Item not Available
Format: Book (Hardback)
£54.99
£46.05
Item not Available
Book (Hardback)
Decision Procedures : An Algorithmic Point of View
Daniel Kroening
Download - Immediately Available
Format: eBook (PDF)
Efficient Decision Procedures for Validation
Ofer Strichman
Out of stock
Format: Book (Paperback / softback)
Decision Procedures : An Algorithmic Point of View
Daniel Kroening
Download - Immediately Available
Format: eBook (PDF)
Decision Procedures : An Algorithmic Point of View
Daniel Kroening
Out of stock
Format: Book (Paperback / softback)