構造的PASCALプログラミング : プログラム設計と証明の組織的方法

資料種別:
図書
責任表示:
Suad Alagić, Michael A.Arbib著 ; 中島玲二訳
言語:
日本語
出版情報:
東京 : 日本コンピュータ協会, 1980.9
形態:
293p ; 22cm
著者名:
シリーズ名:
コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 44 <BN00058946>
書誌ID:
BN03279056
電子版が利用できる場合の注意事項は こちら をご覧ください。
電子版
Loading
子書誌情報
Loading
所蔵情報
Loading availability information