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: 4th International Conference, TACAS' 98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS' 98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS' 98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS' 98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings


Book Informaton

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS' 98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS' 98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings

Author

Bernhard Steffen

Series

Lecture Notes in Computer Science

Volume

1384

Year of Publication

1998

Publisher

Springer Berlin Heidelberg

City of Publication

New York

Pages

XV, 461

Language

en

ISBN

9783540643562, 9783540697534, 3540643567

ARI Id

1664285359671


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 9 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

Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo