Home > Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings
Book Informaton
Author
C.R. Ramakrishnan; Jakob Rehof
Series
Lecture Notes in Computer Science
Volume
4963
Year of Publication
2008
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
XVI, 520
Language
en
ISBN
9783540787990, 9783540788003, 3540787992
ARI Id
1664713101069
This page has been accessed 8 times.
Access Options
Citation Options
Download CitationChapters/Headings | Author(s) | Pages | Info |
Loading... | |||
Chapters/Headings | Author(s) | Pages | Info |