<図書>

Reliable software technologies Ada-Europe 2000 : 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000 : proceedings / Hubert B. Keller, Erhard Plödereder (eds.)

(Lecture notes in computer science;1845)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図
39:L:1.1845 2012827057

保存書庫

書誌詳細を非表示

出版者 Berlin : Springer
出版年 c2000
大きさ xiii, 304 p. : ill. ; 24 cm
一般注記 Includes bibliographical references and index
著者標目 *Ada-Europe International Conference on Reliable Software Technologies (5th : 2000 : Potsdam, Germany)
Keller, H. B. (Hubert B.)
Plödereder, Erhard
件 名 LCSH:Computer software -- Reliability -- Congresses
LCSH:Ada (Computer program language) -- Congresses
分 類 LCC:QA76.76.R44
本文言語 英語
書誌ID 2001205096
ISBN 3540676694
NCID BA47213767 WCLINK

類似資料

  1. 1 Reliable software technologies -- Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings / Johann Blieberger, Alfred Strohmeier (eds.)
  2. 2 Reliable software technologies-Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedings / Dirk Craeynest, Alfred Strohmeier (eds.)
  3. 3 Reliable software technologies--Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998 : proceedings / Lars Asplund, (ed.)
  4. 4 Reliable software technologies - Ada-Europe '99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings / Michael González Harbour, Juan A. de la Puente (eds.)
  5. 5 Reliable software technologies, Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings / Alfred Strohmeier (ed.)
  6. 6 Software for dependable systems : sufficient evidence? / Daniel Jackson, Martyn Thomas, and Lynette I. Millett, editors ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies
  7. 7 Computer safety, reliability and security : 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 : proceedings / Floor Koornneef, Meine van der Meulen (eds.)
  8. 8 Computer safety, reliability and security : 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 : proceedings / Udo Voges (ed.)
  9. 9 Computer safety, reliability and security : 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002 : proceedings / Stuart Anderson, Sandro Bologna, Massimo Felici (eds.)
  10. 10 Achieving safety and reliability with computer systems / edited by B.K. Daniels

検索結果一覧に戻る ページトップ