沼津工業高等専門学校
ヘルプ ログイン
  • 目録検索 目録検索 ▼
  • 利用者サービス 利用者サービス ▼
    • 利用状況の確認
    • ブックマーク
    • お気に入り検索
    • 新着アラート

沼津工業高等専門学校

検索結果一覧へ戻る

Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings

M. Main ... [et al.] (eds.) ; : gw, : us. -- Springer-Verlag, 1988. -- (Lecture notes in computer science ; 298). <BB02212539>
登録タグ：
登録されているタグはありません
便利機能：
詳細情報を見る
書誌URL：

Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings

M. Main ... [et al.] (eds.) ; : gw, : us. -- Springer-Verlag, 1988. -- (Lecture notes in computer science ; 298). <BB02212539>
登録タグ：
登録されているタグはありません
便利機能：
詳細情報を見る
書誌URL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 コメント 返却予定日
0001 沼津高専 書庫A(2階) 007.6||*||* 067450
No. 0001
巻号
所蔵館 沼津高専
配置場所 書庫A(2階)
請求記号 007.6||*||*
資料ID 067450
状態
コメント
返却予定日
このページのTOPへ

書誌詳細

標題および責任表示 Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings / M. Main ... [et al.] (eds.)
出版・頒布事項 Berlin ; Tokyo : Springer-Verlag , c1988
形態事項 viii, 637 p. : ill. ; 25 cm
巻号情報
巻次等 : gw
ISBN 3540190201
巻号情報
巻次等 : us
ISBN 0387190201
書誌構造リンク Lecture notes in computer science <BB00069617> 298//a
注記 "The Third Workshop on the Mathematical Foundations of Programming Language Semantics ... "--Pref.
注記 Includes bibliographies
学情ID BA03472269
本文言語コード 英語
著者標目リンク Main, Michael, 1956- <NC:DA02177226>
著者標目リンク Workshop on the Mathematical Foundations of Programming Language Semantics <NC:DA02283744> (3rd : 1987 : New Orleans, La.)
分類標目 LCC:QA76.7
分類標目 DC19:005.13/1
件名標目等 Programming languages (Electronic computers) -- Semantics -- Congresses
件名標目等 Electronic data processing -- Mathematics -- Congresses
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ