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 II

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 II


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 II

Author

Jan Friso Groote; Kim Guldstrand Larsen

Series

Lecture Notes in Computer Science

Volume

12652

Year of Publication

1st ed. 2021

Publisher

Springer International Publishing

Pages

XXI, 465

Language

en

ISBN

9783030720124, 9783030720131

ARI Id

1665308962530


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 40 entries
Chapters/HeadingsAuthor(s)PagesInfo
i-xxi
1-1
3-23
24-42
43-63
64-83
85-85
87-104
105-123
125-125
127-144
145-163
164-180
181-199
201-201
203-222
223-241
242-261
262-280
281-302
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 40 entries