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: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

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 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II


Book Informaton

Author

Dana Fisman; Grigore Rosu

Series

Lecture Notes in Computer Science

Volume

13244

Year of Publication

1st ed. 2022

Publisher

Springer International Publishing

Pages

XXI, 493

Language

en

ISBN

9783030995263, 9783030995270

ARI Id

1665374608557


Find on

World Cat

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 44 entries
Chapters/HeadingsAuthor(s)PagesInfo
i-xxi
1-1
3-21
22-40
41-59
60-78
79-79
81-98
99-117
118-136
137-155
157-157
159-177
178-195
196-214
215-215
217-235
236-253
254-272
273-291
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 44 entries