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: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I


Book Informaton

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

Author

Armin Biere; David Parker

Series

Lecture Notes in Computer Science

Volume

12078

Year of Publication

1st ed. 2020

Publisher

Springer International Publishing

Pages

XXIII, 501

Language

en

ISBN

9783030451899, 9783030451905

ARI Id

1665250498401


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 9 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 37 entries
Chapters/HeadingsAuthor(s)PagesInfo
i-xxiii
1-1
3-21
22-39
40-57
58-76
77-77
79-96
97-114
115-134
135-152
153-153
155-172
173-190
191-208
209-209
211-227
228-246
247-265
266-284
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 37 entries