Tools and Algorithms for the Construction and Analysis of Systems - Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings
- Författare
- TACAS '96 TACAS '96
- (Edited by Tiziana Margaria, Bernhard Steffen.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg, Imprint: Springer | 1996 | Tyskland, Berlin, Heidelberg | 1 online resource (XIII, 443 sidor.) | |
| Springer Berlin Heidelberg | 1996 | Utgivningsland okänt / Ej specificerat |