Kurt Jensen, Andreas Podelski (eds.)
Berlin ; Tokyo : Springer, c2004
図書等| No. | 所在 | 請求記号 | 資料ID | 資料タイプ | 状況（返却予定日） | コレクション | 備考 | 予約・取り寄せ人数 |
|---|---|---|---|---|---|---|---|---|
|
1 |
007.08-L49-2988
|
10004003461 |
一般図書 |
|
|
|
|
2004
xiv, 608 p. : ill. ; 24 cm
Tools and algorithms for the construction and analysis of systems : ETAPS 2004
Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March/April 2004 : proceedings
Includes bibliographical references and index
ドイツ＝ドイツ連邦共和国
英語 (eng)
英語 (eng)
TACAS [ Workshop on Tools and Algorithms for the Construction and Analysis of Systems ] [ International Conference on Tools and Algorithms for the Construction and Analysis of Systems ] [ International Workshop, TACAS ] [ International Conference, TACAS ]
Jensen, K. (Kurt), 1950- [ Jensen, Kurt, 1950- ]
Podelski, Andreas [ Podelski, A ]
European Conferences on Theory and Practice of Software [ ETAPS ] [ Joint European Conferences on Theory and Practice of Software ]
354021299X
BA66755767
