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: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

Book Informaton
Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

Author

Susanne Graf; Michael Schwartzbach

Series

Lecture Notes in Computer Science

Volume

1785

Year of Publication

2000

Publisher

Springer Berlin Heidelberg

Language

EN

ISBN

9783540672821, 9783540464198

ARI Id

1674219792861

Find on

World Cat

OpenLibrary

Internet Archive

This page has been accessed 5 times.
Access Options
Springer
Citation Options
Download Citation
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo