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: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings


Book Informaton

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings

Author

Cormac Flanagan; Barbara König

Series

Lecture Notes in Computer Science

Volume

7214

Year of Publication

2012

Publisher

Springer Berlin Heidelberg

Pages

XIX, 560

Language

en

ISBN

9783642287558, 9783642287565

ARI Id

1664729031796


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 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 50 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-1
2-17
18-32
33-47
48-63
64-78
79-94
95-109
110-125
126-140
141-156
157-172
173-187
188-203
204-219
220-236
237-251
252-266
267-282
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 50 entries