Wordery

Sort by: Relevance

Filters

Sort by: Relevance

Filters

5 Products

5 Products Page

of 1

Computer Aided Verification

Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

Paperback

£89.99

Print on demand - Usually dispatched within 7-10 days

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems Theoretical Computer Science and General Issues

Paperback

£34.99

Print on demand - Usually dispatched within 7-10 days

Handbook of Satisfiability

Handbook of Satisfiability

Hardback

£124

Print on demand - Usually dispatched within 7-10 days

Handbook of Satisfiability

Handbook of Satisfiability

Hardback

£198

Print on demand - Usually dispatched within 7-10 days

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings,

Paperback

£34.99

Print on demand - Usually dispatched within 7-10 days