Runtime Verification : 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings
Lu Feng
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£64.99
£57.65
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 : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Dana Fisman
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 : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Dana Fisman
Download - Immediately Available
Format: eBook (PDF)
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Dana Fisman
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 : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Dana Fisman
Download - Immediately Available
Format: eBook (PDF)