Proving programs correct
Robert B. Anderson
Wiley, c1979
茨城大学 附属図書館 工学部分館分
549:694000451685
OPAC
大阪大学 附属図書館 総合図書館
07926021929
香川大学 図書館
九州大学 中央図書館
549.9/A 46/1058211981144178
九州大学 理系図書館
068222480109958
京都大学 数理解析研究所 図書室数研
AND||29||12498280
群馬大学 総合情報メディアセンター 理工学図書館図書館
549.92:A46207227717
静岡大学 附属図書館 浜松分館浜図
547.01/268500001063
城西大学 水田記念図書館
2004005265
筑波大学 附属図書館 中央図書館
ikkatu
すべての所蔵館を表示
Bibliography: p. 170-182
Includes index
Google Books