東京都立大学図書館
図書館HP | ログイン
  • 目録検索 目録検索 ▼
  • 利用者サービス マイライブラリ ▼
    • 利用状況の確認
    • ブックマーク
    • お気に入り検索
    • タグ履歴
    • 複写依頼
    • 貸借依頼
    • 新規購入依頼

東京都立大学図書館

検索結果一覧へ戻る

Mathematical structures for software engineering : based on the proceedings of a conference organized by the Systems and Software Engineering Specialist Group of the Institute of Mathematics and its Applications held at Manchester Polytechnic in July 1988

edited by Bernard De Neumann, Dan Simpson, Gil Slater. -- Clarendon, 1991. -- (The Institute of Mathematics and its Applications conference series ; New sereis ; 27). <BB00568378>
登録タグ：
登録されているタグはありません
便利機能：
詳細情報を見る
書誌URL：

Mathematical structures for software engineering : based on the proceedings of a conference organized by the Systems and Software Engineering Specialist Group of the Institute of Mathematics and its Applications held at Manchester Polytechnic in July 1988

edited by Bernard De Neumann, Dan Simpson, Gil Slater. -- Clarendon, 1991. -- (The Institute of Mathematics and its Applications conference series ; New sereis ; 27). <BB00568378>
登録タグ：
登録されているタグはありません
便利機能：
詳細情報を見る
書誌URL：

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

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

No. 巻号 所蔵館 配置場所 資料ID 請求記号 状態 返却予定日 予約 WEB書棚
0001 数理科学 理：数理科学図書室 洋D 012722099 /410.8/I57C/27 0件
No. 0001
巻号
所蔵館 数理科学
配置場所 理：数理科学図書室 洋D
資料ID 012722099
請求記号 /410.8/I57C/27
状態
返却予定日
予約 0件
WEB書棚
このページのTOPへ

書誌詳細

標題および責任表示 Mathematical structures for software engineering : based on the proceedings of a conference organized by the Systems and Software Engineering Specialist Group of the Institute of Mathematics and its Applications held at Manchester Polytechnic in July 1988 / edited by Bernard De Neumann, Dan Simpson, Gil Slater
出版・頒布事項 Oxford : Clarendon
出版・頒布事項 New York : Oxford University Press , 1991
形態事項 xiii, 355 p. : ill. ; 25 cm
巻号情報
ISBN 0198536275
書誌構造リンク The Institute of Mathematics and its Applications conference series <BB00216082> New sereis ; 27//a
注記 Includes bibliographies
学情ID BA12682477
本文言語コード 英語
著者標目リンク Simpson, D. (Dan), 1942- <AU00375955>
著者標目リンク De Neumann, Bernard <AU00820273>
著者標目リンク Slater, Gil <AU00820274>
著者標目リンク Institute of Mathematics and Its Applications <AU00512800>
分類標目 LCC:QA76.76.D47
分類標目 DC20:005.1
件名標目等 Computer software -- Development
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    他大学資料確認

    資料を取り寄せる

    • ILL複写依頼(コピー取り寄せ)
    • ILL貸借依頼(現物借用)

    この書誌のQRコード