Mathematical foundations of programming semantics : 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings : gw

• 資料種別: 図書
• ISBN: 3540555110; 0387555110
• タイトル: Mathematical foundations of programming semantics : 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings
• 巻次・部編番号: : gw; : us
• 著者・編者: S. Brookes ... [et al.], (eds.)
• 著者標目: Brookes, Stephen D.; https://ci.nii.ac.jp/author/DA01053250; Conference on the Mathematical Foundations of Programming Semantics; https://ci.nii.ac.jp/author/DA01036943
• 出版事項: Springer-Verlag
• 出版年月日等: c1992
• 出版年（W3CDTF）: 1992
• 大きさ: 25 cm
• 出版地（国名コード）: gw
• 本文の言語コード: en
• 件名標目: Programming languages (Electronic computers) -- Semantics -- Congresses
• LCC: QA76.7
• 対象利用者: 一般
• 一般注記: Proceedings of the Seventh International Conference on the Mathematical Foundations of Programming Semantics; Includes bibliographical references
• 関連情報: Lecture notes in computer science; https://cir.nii.ac.jp/crid/1130282272706176768
• 関連情報（URI）: https://ci.nii.ac.jp/ncid/BA14391544#entity; https://lccn.loc.gov/92015320
• 掲載誌: Lecture notes in computer science; https://cir.nii.ac.jp/crid/1130282272706176768
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: CiNii Books; https://ci.nii.ac.jp/books
• NACSIS書誌ID（NCID）: https://ci.nii.ac.jp/ncid/BA14391544 : BA14391544
• LC control number: 92015320; https://lccn.loc.gov/92015320