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: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings


Book Informaton

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

Author

Kurt Jensen; Andreas Podelski

Series

Lecture Notes in Computer Science

Volume

2988

Year of Publication

2004

Publisher

Springer Berlin Heidelberg

City of Publication

New York

Pages

XIV, 614

Language

en

ISBN

9783540212997, 9783540247302, 354021299X

ARI Id

1664611799045


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 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 45 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-15
16-30
31-45
46-60
61-76
77-92
93-107
108-122
123-138
139-143
144-152
153-157
158-162
163-167
168-176
177-191
192-204
205-219
220-235
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 45 entries