|
情報処理
Vol.35 No.8 (354)
1994/08/15
|
| Title | 情報処理 |
|---|---|
| Publisher | 情報処理学会 |
| Volume - Feature Article | 論理設計の形式的検証 |
| Frequency | 9 |
| Volume - Vol. No. | Vol.35 No.8 (354) |
| Volume - Years of Serial | 1994/08 |
| Volume - Pub. Date | 1994/08/15 |
| Journal Code | Z000811 |
| Registration No. | Z00031340 |
| Volume - Location Code | 01 図書館 |
| Volume - Shelf Code | 207 ２階 雑誌架 |
| ISSN | 0447-8053 |