Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > 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

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


Book Informaton

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

Author

Jan Friso Groote; Kim Guldstrand Larsen

Series

Lecture Notes in Computer Science

Volume

12651

Year of Publication

1st ed. 2021

Publisher

Springer International Publishing

Pages

XXI, 471

Language

en

ISBN

9783030720155, 9783030720162

ARI Id

1665308574337


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 32 entries
Chapters/HeadingsAuthor(s)PagesInfo
i-xxi
1-1
3-19
20-37
38-56
57-57
59-75
76-93
94-112
113-132
133-151
152-169
171-171
173-190
191-209
210-229
230-249
250-269
270-287
289-289
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 32 entries