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
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
This page has been accessed 9 times.
Access Options
Citation Options
Download CitationChapters/Headings | Author(s) | Pages | Info |
Loading... | |||
Chapters/Headings | Author(s) | Pages | Info |