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: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings


Book Informaton

Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Author

Hubert Garavel; John Hatcliff

Series

Lecture Notes in Computer Science

Volume

2619

Year of Publication

2003

Publisher

Springer Berlin Heidelberg

Pages

XVI, 604

Language

en

ISBN

9783540008989, 9783540365778, 3540008985

ARI Id

1664266441089


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 46 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XVI
1-1
2-17
18-33
34-48
49-64
65-80
81-96
97-112
113-127
128-143
144-159
160-175
176-191
192-207
208-223
224-239
240-253
254-270
271-277
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 46 entries