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
Armin Biere
Out of stock
Format: Book (Paperback / softback)
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
Armin Biere
Download - Immediately Available
Format: eBook (PDF)
Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Armin Biere
Out of stock
Format: Book (Paperback / softback)
Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Armin Biere
Download - Immediately Available
Format: eBook (PDF)
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
Armin Biere
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£34.99
£28.59
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketTools 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
Armin Biere
Download - Immediately Available
Format: eBook (PDF)
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
Armin Biere
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£34.99
£28.59
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketTools 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
Armin Biere
Download - Immediately Available
Format: eBook (PDF)
Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
Armin Biere
Download - Immediately Available
Format: eBook (PDF)