Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers
- 種類:
- 電子ブック
- 責任表示:
- edited by E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, B. Steffen
- 出版情報:
- Berlin, Heidelberg : Springer-Verlag, 1995
- 著者名:
Brinksma, E. Cleaveland, W. R. Larsen, K. G. Margaria, T. Steffen, B. SpringerLink (Online service) - シリーズ名:
- Lecture Notes in Computer Science ; 1019
- ISBN:
- 9783540485094 [3540485090]
- ローカル注記:
- 岐阜大学構成員専用E-BOOKS (Gifu University members only)
類似資料:
Springer Berlin Heidelberg : Imprint: Springer | |
Springer-Verlag | |
Springer Berlin Heidelberg : Imprint: Springer | |