unglue.it Browse Free Books

X

#1

Explore

View As:

Sort by:
popular
newest
title

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

Jan Friso Groote and Kim Guldstrand Larsen, editors

More Info

AVAILABLE!

Login to Fave

Read it Now

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

Jan Friso Groote and Kim Guldstrand Larsen, editors

Login to Fave

No Faves

1