構造的PASCALプログラミング : プログラム設計と証明の組織的方法 (コンピュータ・サイエンス研究書シリーズ ; 44)
Available with Digitized Contents Transmission Service
Find on the publisher's website
国立国会図書館デジタルコレクション
Available for viewing via the Digitized Contents Transmission Service for Individuals to official registered users of the NDL, who resides in Japan.
Search by Bookstore
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.
Kanto
東京都立多摩図書館
Paper- Call No.：
- 5355-620-80
- Book Registration Number：
- 1122847398
神奈川県立川崎図書館
Paper- Call No.：
- 535.5-A61
- Book Registration Number：
- 71114698
横浜市立図書館
Paper- Call No.：
- 007.63819
- Book Registration Number：
- 0003580024
Tokai-Hokuriku
三重県立図書館
Paper- Call No.：
- 007.6-A
- Book Registration Number：
- 110040847
Kinki
大阪府立中央図書館
Paper- Call No.：
- 007.6/2125/#
- Book Registration Number：
- 1512105691
Search by Bookstore
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- Title Transcription
- コウゾウテキ パスカル プログラミング
- Author/Editor
- Suad Alagic, Michael A.Arbib 著中島玲二 訳
- Series Title
- Author Heading
- 中島, 玲二, 1947- ナカジマ, レイジ, 1947- ( 00125914 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 1980.9
- Publication Date (W3CDTF)
- 1980
- Extent
- 293p