<図書>
Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings / Manuel V. Hermenegildo, Germán Puebla (eds.)
(Lecture notes in computer science ; 2477)
| 出版情報 | Berlin : Springer , c2002 |
|---|---|
| 巻冊次 | ISBN:3540442359 |
| ISBN | 3540442359 |
| 本文言語 | 英語 |
| 大きさ | xi, 525 p. : ill. ; 24 cm |
[BOOKデータASPサービス] あらすじ/目次
書誌詳細を表示
| 一般注記 | Includes bibliographical references and index |
|---|---|
| 著者標目 | *SAS (9th : 2002 : Madrid, Spain) Hermenegildo, Manuel V. Puebla, Germán |
| 書誌ID | 1010293402 |
| NCID | BA58896195 |
所蔵情報を非表示
| 配架場所 | 巻 次 | 請求記号 | 資料番号 | 状 態 | コメント | 利用注記 | 予約・取寄 | 資料メモ | 仮想書架 |
|---|---|---|---|---|---|---|---|---|---|
| 多:B2F小図移管 |
|
007/L49/2477 | 10602020321523 |
|

Mendeley出力