このページのリンク

引用にはこちらのURLをご利用ください

利用統計

  • このページへのアクセス:92回

  • 貸出数:0回
    (1年以内の貸出数:0回)

<図書>
VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings

責任表示 S. Prehn, W.J. Toetenel, (eds.)
シリーズ Lecture notes in computer science ; 551, 552
データ種別 図書
出版情報 Berlin ; Tokyo : Springer-Verlag , c1991
本文言語 英語
大きさ 2 v. : ill. ; 25 cm
目次 v. 1. Conference contributions
v. 2. Tutorials.
v. 1. Conference contributions
v. 2. Tutorials.
v. 1. Conference contributions
v. 2. Tutorials.
電子版へのリンク

所蔵情報


v. 1 : gw 理系図 自動書庫 408/L 49 1991
061232004009762

v. 2 : gw 理系図 自動書庫 408/L 49 1991
061232004009774

書誌詳細

一般注記 v. 1. Conference contributions
v. 2. Tutorials
Includes bibliographical references and index
著者標目 *VDM-Europe. International Symposium (4th : 1991 : Noordwijkerhout, Netherlands)
Prehn, S. (Søren), 1955-
Toetenel, H. (Hans), 1953-
件 名 LCSH:Computer software -- Development -- Congresses  全ての件名で検索
分 類 LCC:QA76.76.D47
DC20:005.1
NDC8:007.64
書誌ID 1000964213
ISBN 3540548343
NCID BA13320187
巻冊次 v. 1 : gw ; ISBN:3540548343
v. 1 : us ; ISBN:0387548343
v. 2 : gw ; ISBN:3540548688
v. 2 : us ; ISBN:0387548688
登録日 2009.09.16
更新日 2017.02.18