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: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II


Book Informaton

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Author

Dirk Beyer; Marieke Huisman

Series

Lecture Notes in Computer Science

Volume

10806

Year of Publication

1st ed. 2018

Publisher

Springer International Publishing

Pages

XX, 465

Language

en

ISBN

9783319899626, 9783319899633, 3319899627

ARI Id

1665114332842


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 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 41 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XX
1-1
3-19
20-37
38-54
55-71
73-73
75-92
93-111
112-131
132-151
153-153
155-175
176-193
194-200
201-208
209-209
211-228
229-248
249-265
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 41 entries