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: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings


Book Informaton

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Christel Baier; Cesare Tinelli

Series

Lecture Notes in Computer Science

Volume

9035

Year of Publication

2015

Publisher

Springer Berlin Heidelberg

Pages

XVIII, 725

Language

EN

ISBN

9783662466803, 9783662466810

ARI Id

1664710991986


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 10 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 78 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-18
1-1
3-18
19-19
21-36
37-51
52-67
68-82
83-83
85-100
101-115
116-130
131-146
147-147
149-163
164-178
179-179
181-187
188-193
194-199
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 78 entries