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: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings


Book Informaton

Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings

Author

Nicolas Halbwachs; Lenore Zuck

Series

Lecture Notes in Computer Science

Volume

3440

Year of Publication

2005

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

XVIII, 590

Language

en

ISBN

9783540253334, 9783540319801, 3540253335

ARI Id

1664710990132


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 44 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-12
13-29
30-44
45-60
61-76
77-92
93-107
108-123
124-139
140-156
157-173
174-190
191-205
206-221
222-236
237-252
253-270
271-286
287-300
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 44 entries