1.

図書
図書
1. 構造的PASCALプログラミング : プログラム設計と証明の組織的方法
Suad Alagić, Michael A.Arbib著 ; 中島玲二訳
出版情報: 東京 : 日本コンピュータ協会, 1980.9
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 44
所蔵情報: loading…
2.

図書
図書
2. The design of well-structured and correct programs
Suad Alagić, Michael A. Arbib
出版情報: New York : Springer-Verlag, c1978
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…